Module UfSymbol.UfSymbolHashtbl

module UfSymbolHashtbl: Hashtbl.S  with type key = t
Hash table over uninterpreted function symbols