Module TermInner.UTIL.Map

module Map: CCMap.S  with type key = t_

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