Module type Lattice_type.Lattice_Set

module type Lattice_Set = sig .. end

module O: Datatype.Set 
include Lattice_type.Lattice_Set_Generic