Module Prime_enummap
Enumerated map (prime.unstable).
This is similar to Map from the standard library, but provides a locate method which return the position of a binding within a map.
module type OrderedType = sig ... endmodule type S = sig ... endmodule type S_monadic = sig ... endmodule type S_with_monadic = sig ... endmodule Make : functor (Key : OrderedType) -> sig ... endmodule Make_monadic : functor (Key : OrderedType) -> functor (Monad : Prime_sigs.Monad) -> S_with_monadic with type key = Key.t and type 'a monad = 'a Monad.t