module ZInteger: sig .. end
sig
end
include Integer
val pretty : Integer.t Pretty_utils.formatter
Integer.t Pretty_utils.formatter
val leq : Integer.t -> Integer.t -> bool
Integer.t -> Integer.t -> bool