CCMapProvide useful functions and iterators on Map.S
type 'a printer = Format.formatter -> 'a -> unitmodule type OrderedType = Map.OrderedTypemodule type S = sig ... endmodule Make (O : Map.OrderedType) : S with type 'a t = 'a Map.Make(O).t and type key = O.t