Specification of a partial order relation
type el
Element type
type ord
=
|
Unknown
Lower
Equal
Greater
val compare : el ‑> el ‑> ord