Module type Lattice_type.Lattice_Hashconsed_Set

module type Lattice_Hashconsed_Set = sig .. end

module O: sig .. end
include Lattice_type.Lattice_Set_Generic