Module Lang.F.ZInteger

module ZInteger: sig .. end

include Integer
val leq : Integer.t -> Integer.t -> bool