Z.Compare

val (=) : t -> t -> bool

Same as equal.

equal

val (<) : t -> t -> bool

Same as lt.

lt

val (>) : t -> t -> bool

Same as gt.

gt

val (<=) : t -> t -> bool

Same as leq.

leq

val (>=) : t -> t -> bool

Same as geq.

geq

val (<>) : t -> t -> bool

a <> b is equivalent to not (equal a b).

a <> b

not (equal a b)