Index - V
| ValArg | |
| 1 (Type/Class) | Language.Embedded.Imperative.Args |
| 2 (Data Constructor) | Language.Embedded.Imperative.Args |
| valArg | Language.Embedded.Imperative.Frontend, Language.Embedded.Imperative |
| 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 |
| VarPredCast | Language.Embedded.Imperative.CMD |
| veryUnsafeFreezeRef | Language.Embedded.Imperative.Frontend, Language.Embedded.Imperative |
| viewLit | Language.Embedded.CExp |
| viewNotExp | Language.Embedded.Backend.C |
| void | Language.Embedded.Imperative |