module Order: sig .. end

---

val compose  : ('a -> 'b -> int option) -> ('a -> 'b -> int option) -> 'a -> 'b -> int

val reverse  : ('a -> 'b -> int) -> 'a -> 'b -> int

val reversep  : ('a -> 'b -> int option) -> 'a -> 'b -> int option

val totalify  : ('a -> 'b -> 'c option) -> 'a -> 'b -> 'c