Map.Lookuptype ('k, 'v, 'cmp) t = ('k, 'v, 'cmp, Incr.state_witness) Incr_map.Lookup.tval create :
?data_equal:('v -> 'v -> bool) ->
('k, 'v, 'cmp) Core.Map.t Incr.t ->
comparator:('k, 'cmp) Core.Comparator.t ->
('k, 'v, 'cmp) tmodule For_debug : sig ... end