Poly (base.Base_

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

include Base.Polymorphic_compare

external (<) : 'a ‑> 'a ‑> bool = "%lessthan"

external (<=) : 'a ‑> 'a ‑> bool = "%lessequal"

external (<>) : 'a ‑> 'a ‑> bool = "%notequal"

external (=) : 'a ‑> 'a ‑> bool = "%equal"

external (>) : 'a ‑> 'a ‑> bool = "%greaterthan"

external (>=) : 'a ‑> 'a ‑> bool = "%greaterequal"

external ascending : 'a ‑> 'a ‑> int = "%compare"

external compare : 'a ‑> 'a ‑> int = "%compare"

external equal : 'a ‑> 'a ‑> bool = "%equal"

val descending : 'a ‑> 'a ‑> int

val max : 'a ‑> 'a ‑> 'a

val min : 'a ‑> 'a ‑> 'a