Module Base.SetLattice

module SetLattice: Lattice_Set  with module O = Hptset