Module UfSymbol.UfSymbolSet

module UfSymbolSet: Set.S  with type elt = t
Set over uninterpreted function symbols