Module Poly

Poly is a convenient shorthand for Polymorphic_compare in the common case that one wants to use a polymorphic comparator directly in an expression, e.g. Poly.equal a b.

Signature

include Polymorphic_compare

val compare : 'a -> 'a -> int

val ascending : 'a -> 'a -> int

ascending is identical to compare. descending x y = ascending y x. These are intended to be mnemonic when used like List.sort ~cmp:ascending and List.sort ~cmp:descending, since they cause the list to be sorted in ascending or descending order, respectively.

val descending : 'a -> 'a -> int

val (<) : 'a -> 'a -> bool

val (<=) : 'a -> 'a -> bool

val (>) : 'a -> 'a -> bool

val (>=) : 'a -> 'a -> bool

val (=) : 'a -> 'a -> bool

val (<>) : 'a -> 'a -> bool

val equal : 'a -> 'a -> bool

val min : 'a -> 'a -> 'a

val max : 'a -> 'a -> 'a