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