Module Prime_enumset
Enumerating set (prime.unstable).
This is similar to the Set structure from the standard library, but provides a locate method to tell the position of an element in the map.
module type OrderedType = sig ... endmodule type S = sig ... endmodule type S_monadic = sig ... endmodule type S_with_monadic = sig ... endmodule Make : functor (Elt : OrderedType) -> sig ... endmodule Make_monadic : functor (Elt : OrderedType) -> functor (Monad : Prime_sigs.Monad) -> S_with_monadic with type elt = Elt.t and type 'a monad = 'a Monad.t