module type Lattice_Hashconsed_Set = sig .. end
sig
end
module O: sig .. end
include Lattice_type.Lattice_Set_Generic