| ValidOffset | Agda.TypeChecking.SizedTypes.Syntax |
| validOffset | Agda.TypeChecking.SizedTypes.Syntax |
| VALU | Agda.TypeChecking.Serialise.Base |
| value | Agda.TypeChecking.Serialise.Base |
| valueArgs | Agda.TypeChecking.Serialise.Base |
| ValueCmp | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
| valueN | Agda.TypeChecking.Serialise.Base |
| valuN | Agda.TypeChecking.Serialise.Base |
| valuN' | Agda.TypeChecking.Serialise.Base |
| Var | |
| 1 (Data Constructor) | Agda.Utils.Haskell.Syntax |
| 2 (Data Constructor) | Agda.Auto.Syntax |
| 3 (Data Constructor) | Agda.Syntax.Reflected |
| 4 (Data Constructor) | Agda.Syntax.Internal |
| 5 (Data Constructor) | Agda.Syntax.Abstract |
| var | Agda.Syntax.Internal |
| VarArg | Agda.TypeChecking.Positivity.Occurrence |
| varDependencies | Agda.TypeChecking.Telescope |
| varFlexRig | Agda.TypeChecking.Free.Lazy |
| Variable | Agda.TypeChecking.Free.Lazy |
| variable | Agda.TypeChecking.Free.Lazy |
| VariableIsIrrelevant | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
| variableName | Agda.Compiler.JS.Pretty |
| varM | Agda.TypeChecking.Primitive |
| VarMap | Agda.TypeChecking.Free.Lazy |
| VarName | Agda.Syntax.Scope.Monad |
| VarOcc | |
| 1 (Type/Class) | Agda.TypeChecking.Free.Lazy |
| 2 (Data Constructor) | Agda.TypeChecking.Free.Lazy |
| VarP | |
| 1 (Data Constructor) | Agda.Syntax.Reflected |
| 2 (Data Constructor) | Agda.Syntax.Internal |
| 3 (Data Constructor) | Agda.Syntax.Abstract |
| varP | Agda.Syntax.Internal |
| varRelevance | Agda.TypeChecking.Free.Lazy |
| Vars | Agda.TypeChecking.MetaVars.Occurs |
| vars | Agda.TypeChecking.Positivity |
| VarSet | Agda.Utils.VarSet |
| varSort | Agda.Syntax.Internal |
| vcase | Agda.TypeChecking.Serialise.Base |
| vcat | |
| 1 (Function) | Agda.Utils.Pretty |
| 2 (Function) | Agda.TypeChecking.Pretty |
| verboseBracket | Agda.TypeChecking.Monad.Debug, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
| VerboseKey | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
| verboseS | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
| Verbosity | Agda.Interaction.Options |
| verifyBuiltinRewrite | Agda.TypeChecking.Rewriting |
| verifySolution | Agda.TypeChecking.SizedTypes.WarshallSolver |
| version | Agda.Version |
| VersionView | |
| 1 (Type/Class) | Agda.Interaction.Library |
| 2 (Data Constructor) | Agda.Interaction.Library |
| versionView | Agda.Interaction.Library |
| versionWithCommitInfo | Agda.VersionCommit |
| view | Agda.Utils.Lens |
| vimFile | Agda.Interaction.Highlighting.Vim |
| vine | Agda.Compiler.JS.Substitution |
| visible | Agda.Syntax.Common |
| VisitedModules | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
| visitModule | Agda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
| visitorName | Agda.Compiler.JS.Compiler |
| vvBase | Agda.Interaction.Library |
| vvNumbers | Agda.Interaction.Library |