Module type Lattice_type.Full_Lattice

module type Full_Lattice = sig .. end

Lattice with over- and under-approximation of join and meet, and intersection and difference.


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