Up
Module
TermInner.UtilRepr.VarSet
module
VarSet:
Var.Set
(
T
)