Up
—
package
pomap
Parameter
Pomap.Pomap_impl.Make.1-PO
type
el
Element type
type
ord
=
|
Unknown
|
Lower
|
Equal
|
Greater
val
compare :
el
‑>
el
‑>
ord