Module Lattice_type.Lattice_Set.O

module O: Datatype.Set 

include FCSet.S
include Datatype.S