Module type Lmap_bitwise.With_default

module type With_default = sig .. end

include Lattice_type.Bounded_Join_Semi_Lattice
include Lattice_type.With_Top
include Lattice_type.With_Narrow
val default : t