Module type Lattice_type.AI_Lattice_with_cardinal_one

module type AI_Lattice_with_cardinal_one = sig .. end

Signature shared by some functors of module Abstract_interp.


include Lattice_type.Bounded_Join_Semi_Lattice
include Lattice_type.With_Top
include Lattice_type.With_Widening
include Lattice_type.With_Cardinal_One
include Lattice_type.With_Narrow
include Lattice_type.With_Under_Approximation
include Lattice_type.With_Intersects