module Compare:sig..end
val (=) : Z.t -> Z.t -> boolequal.val (<) : Z.t -> Z.t -> boollt.val (>) : Z.t -> Z.t -> boolgt.val (<=) : Z.t -> Z.t -> boolleq.val (>=) : Z.t -> Z.t -> boolgeq.val (<>) : Z.t -> Z.t -> boola <> b is equivalent to not (equal a b).