Module Tjr_map

type ('k, 'v, 't) map_ops = {
map_empty : 't;
map_is_empty : 't -> bool;
map_add : 'k -> 'v -> 't -> 't;
map_remove : 'k -> 't -> 't;
map_find : 'k -> 't -> 'v option;
map_bindings : 't -> ('k * 'v) list;
}
val map_union : map_ops:('a, 'b, 'c) map_ops -> m1:'c -> m2:'c -> 'c
val list_to_map : map_ops:('a, 'b, 'c) map_ops -> ('a * 'b) list -> 'c
module Make : functor (Ord : Map.OrderedType) -> sig ... end
module Int_ord : sig ... end
module Map_int : sig ... end
module String_ord : sig ... end
module Map_string : sig ... end
val make_assoc_list_map : unit -> ('a, 'b, ('a * 'b) list) map_ops