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 Lattice_type.Bounded_Join_Semi_Lattice
include Lattice_type.With_Top
val default : Base.t -> Abstract_interp.Int.t -> Abstract_interp.Int.t -> t
val defaultall : Base.t -> t