module type AI_Lattice_with_cardinal_one =sig
..end
Abstract_interp
.include Eva_lattice_type.Join_Semi_Lattice
include Eva_lattice_type.With_Top
include Eva_lattice_type.With_Widening
include Eva_lattice_type.With_Cardinal_One
include Eva_lattice_type.With_Narrow
include Eva_lattice_type.With_Under_Approximation
include Eva_lattice_type.With_Intersects