Module Term.TermHashtbl

module TermHashtbl: Hashtbl.S  with type key = t
Hash table over terms