Module V0.Set

module type OrderedType = sig ... end
module Make : functor (Ord : OrderedType) -> sig ... end