module Int_Base: sig .. end
sig
end
include struct ... end
val neg : tt -> t
tt -> t
val minus_one : t
t
val one : t
val zero : t
val is_zero : t -> bool
t -> bool