sig type el type ord = Unknown | Lower | Equal | Greater val compare : Pomap_intf.PARTIAL_ORDER.el -> Pomap_intf.PARTIAL_ORDER.el -> Pomap_intf.PARTIAL_ORDER.ord end