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