Module UfSymbol.UfSymbolMap

module UfSymbolMap: Map.S  with type key = t
Map over uninterpreted function symbols