Module type Lattice_type.Set

module type Set = sig .. end

include FCSet.S_Basic_Compare
include Datatype.S