Module type Lmap_bitwise.With_default


module type With_default = sig .. end

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