module type Lattice_Set = sig .. end
sig
end
module O: Datatype.Set
Datatype.Set
include Lattice_type.Lattice_Set_Generic