Module Lattice_type.Lattice_Set.O

module O: Lattice_type.Set 

include FCSet.S_Basic_Compare
include Datatype.S