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