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