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.Syntax.Internal |
| 3 (Data Constructor) | Agda.Syntax.Abstract |
| var | Agda.TypeChecking.Primitive |
| VarArg | Agda.TypeChecking.Positivity |
| varFreq | Agda.TypeChecking.Test.Generators |
| 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 |
| vars | Agda.Compiler.Alonzo.PatternMonad |
| vcat | |
| 1 (Function) | Agda.Utils.Pretty |
| 2 (Function) | Agda.TypeChecking.Pretty |
| vecApp | Agda.Compiler.Alonzo.Main |
| vector | Agda.Utils.QuickCheck |
| vectorOf | Agda.Utils.QuickCheck |
| VerboseKey | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
| verboseS | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
| version | Agda.Version |
| vimFile | Agda.Interaction.Highlighting.Vim |
| VisitedModules | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
| visitModule | Agda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad |