module type Lattice_with_cardinality = sig .. end
sig
end
include Lattice_type.With_Cardinal_One
include Lattice_type.With_Diff_One
include Lattice_type.With_Enumeration