Module type Pomap_intf.PARTIAL_ORDER

module type PARTIAL_ORDER = sig .. end

type el 
Element type
type ord = 
| Unknown
| Lower
| Equal
| Greater
val compare : el ->
el -> ord