Module Lang.F.ZInteger

module ZInteger: sig .. end

include Integer
val pretty : Integer.t Pretty_utils.formatter
val leq : Integer.t -> Integer.t -> bool