module type PARTIAL_ORDER : sig ... end
Specification of a partial order relation
module type POMAP : sig ... end
Interface to partially ordered maps