Module Symb.SymbolSet


module SymbolSet: Set.S  with type elt = symbol