Module TermInner.UTIL_REPR.VarSet

module VarSet: CCSet.S  with type elt = t_ Var.t