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