Module type Map_lattice.Lattice

module type Lattice = sig .. end

Complete semi-bounded lattice with over- and under-approximation, intersection and difference. No top value.


include Lattice_type.Bounded_Join_Semi_Lattice
include Lattice_type.With_Narrow
include Lattice_type.With_Under_Approximation
include Lattice_type.With_Intersects
include Lattice_type.With_Diff