Module type Lmap_bitwise.With_default

module type With_default = sig .. end
Lattice with default values on a range or on an entire base.

include Abstract_interp.Lattice
val default : Base.t -> Abstract_interp.Int.t -> Abstract_interp.Int.t -> t
val defaultall : Base.t -> t