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 |