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