module type Full_AI_Lattice_with_cardinality =sig
..end
include Lattice_type.AI_Lattice_with_cardinal_one
include Lattice_type.With_Diff
include Lattice_type.With_Diff_One
include Lattice_type.With_Enumeration
include Lattice_type.With_Error_Top