Module Lattice_type.Lattice_Set.O

module O: Lattice_type.Hptset 

include Hptset.S_Basic_Compare
include Datatype.S