Module Int_Base


module Int_Base: sig .. end
Undocumented. Do not use this module if you don't know what you are doing.
Consult the Plugin Development Guide for additional details.

include Abstract_interp.Lattice_Base
val zero : t
val one : t
val minus_one : t
val is_zero : t -> bool
val neg : t -> t