Module type Comparable.With_compare
val lexicographic : ('a -> 'a -> int) list -> 'a -> 'a -> intval lift : ('a -> 'a -> 'result) -> f:('b -> 'a) -> 'b -> 'b -> 'resultval reverse : ('a -> 'a -> 'result) -> 'a -> 'a -> 'resultval equal : ('a -> 'a -> int) -> 'a -> 'a -> boolval max : ('a -> 'a -> int) -> 'a -> 'a -> 'aval min : ('a -> 'a -> int) -> 'a -> 'a -> 'a