Lattice_type.Join_Semi_Lattice