var2String | Language.HERMIT.GHC |
var2THName | Language.HERMIT.GHC |
Variable | Language.HERMIT.Primitive.Navigation |
varT | Language.HERMIT.Kure |
Vectorisation | Language.HERMIT.Plugin |
VersionControl | Language.HERMIT.External |
visibleVarsT | Language.HERMIT.Primitive.AlphaConversion |
vlist | Language.HERMIT.PrettyPrinter.Common |