Module Pomap_intf

module Pomap_intf: sig .. end
Specification of a partial order relation

module type PARTIAL_ORDER = sig .. end
module type POMAP = sig .. end
Interface to partially ordered maps