Module type Lattice_type.Hptset

module type Hptset = sig .. end

include Hptset.S_Basic_Compare
include Datatype.S