Module Base.SetLattice

module SetLattice: Lattice_type.Lattice_Hashconsed_Set  with module O = Hptset

module O: sig .. end
include Lattice_type.Lattice_Set_Generic