Module Equality_term.Atom.Lattice_Set

module Lattice_Set: Lattice_type.Lattice_Hashconsed_Set  with module O = Hptset

module O: sig .. end
include Lattice_type.Lattice_Set_Generic