module Compare:sig
..end
val (=) : Z.t -> Z.t -> bool
Same as equal
.
val (<) : Z.t -> Z.t -> bool
Same as lt
.
val (>) : Z.t -> Z.t -> bool
Same as gt
.
val (<=) : Z.t -> Z.t -> bool
Same as leq
.
val (>=) : Z.t -> Z.t -> bool
Same as geq
.
val (<>) : Z.t -> Z.t -> bool
a <> b
is equivalent to not (equal a b)
.