VarName
type VarName = VarName<'a>
Deprecated old name of template::context::VarName.
template::context::VarName