Index - V
| validParameters | Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop |
| ValueCmp | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
| Var | |
| 1 (Data Constructor) | Agda.Auto.Syntax |
| 2 (Data Constructor) | Agda.Compiler.Epic.AuxAST |
| 3 (Type/Class) | Agda.Compiler.Epic.AuxAST |
| 4 (Data Constructor) | Agda.Syntax.Internal |
| 5 (Data Constructor) | Agda.Syntax.Abstract |
| var | Agda.TypeChecking.Primitive |
| VarArg | Agda.TypeChecking.Positivity |
| varFreq | Agda.TypeChecking.Test.Generators |
| VariableIsIrrelevant | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
| variant | Agda.Utils.QuickCheck |
| VarMP | Agda.TypeChecking.Coverage.Match |
| VarName | |
| 1 (Data Constructor) | Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop |
| 2 (Type/Class) | Agda.TypeChecking.Test.Generators |
| 3 (Data Constructor) | Agda.TypeChecking.Test.Generators |
| VarP | |
| 1 (Data Constructor) | Agda.Syntax.Internal |
| 2 (Data Constructor) | Agda.Syntax.Abstract |
| vcat | |
| 1 (Function) | Agda.Utils.Pretty |
| 2 (Function) | Agda.TypeChecking.Pretty |
| vector | Agda.Utils.QuickCheck |
| vectorOf | Agda.Utils.QuickCheck |
| verbose | Agda.Utils.QuickCheck |
| verboseBracket | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
| verboseCheck | Agda.Utils.QuickCheck |
| verboseCheckResult | Agda.Utils.QuickCheck |
| verboseCheckWith | Agda.Utils.QuickCheck |
| verboseCheckWithResult | Agda.Utils.QuickCheck |
| VerboseKey | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
| verboseS | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
| Verbosity | Agda.Interaction.Options |
| version | Agda.Version |
| vimFile | Agda.Interaction.Highlighting.Vim |
| VisitedModules | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
| visitModule | Agda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad |