Module Term.ClauseApproxTable (.ml)

module ClauseApproxTable: Hashtbl.S  with type key = clause

a specialized Hashtbl with clauses as keys. order of literals in a clause does matter.