Module Term.ClauseTable (.ml)

module ClauseTable: Hashtbl.S  with type key = clause

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