module Lattice_Set: Lattice_type.Lattice_Hashconsed_Set with module O = Hptset
Lattice_type.Lattice_Hashconsed_Set
with module O = Hptset
module O: sig .. end
sig
end
include Lattice_type.Lattice_Set_Generic