Index - V
| Val | Language.Embedded.Expression |
| ValArg | Language.Embedded.Imperative.CMD, Language.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative |
| valArg | Language.Embedded.Imperative.Frontend, Language.Embedded.Imperative |
| ValComp | Language.Embedded.Expression |
| ValEval | Language.Embedded.Expression |
| valExp | Language.Embedded.Expression |
| valToExp | Language.Embedded.Expression |
| value | Language.Embedded.CExp |
| Var | Language.Embedded.CExp |
| varExp | Language.Embedded.Expression |
| variable | Language.Embedded.CExp |
| VarId | Language.Embedded.Expression |
| VarPred | Language.Embedded.Expression, Language.Embedded.Imperative |
| veryUnsafeFreezeRef | Language.Embedded.Imperative.Frontend, Language.Embedded.Imperative |
| viewLit | Language.Embedded.CExp |
| viewNotExp | Language.Embedded.Backend.C |
| void | Language.Embedded.Imperative |