Module TermInner.UTIL.Tbl

module Tbl: CCHashtbl.S  with type key = t_

Hashtbl with terms as key. The hash function is modulo α-equiv