Module IStdlib.PartialOrder

type total = [
  1. | `LeftSmallerThanRight
  2. | `Equal
  3. | `RightSmallerThanLeft
]
type t = [
  1. | total
  2. | `NotComparable
]
val join : [< t ] -> [< t ] -> t
type 'a xcompare = lhs:'a -> rhs:'a -> t
type 'a xcompare_total = lhs:'a -> rhs:'a -> total
val of_compare : compare:('a -> 'a -> int) -> 'a xcompare_total
val of_le : le:('a -> 'a -> bool) -> 'a xcompare
val of_opt : xcompare_elt:'a xcompare -> 'a option xcompare
val container : fold:('t, 'a * 'a, t) IStdlib.IStd.Container.fold -> 't -> xcompare_elt:'a xcompare -> t