A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
!
#
$
%
&
+
.
/
<
=
>
?
@
\
^
|
-
_
All

Index - V

V	Agda.Compiler.MAlonzo.Misc
valid
1 (Function)	Agda.Utils.Map1
2 (Function)	Agda.Utils.Set1
ValidOffset	Agda.TypeChecking.SizedTypes.Syntax
validOffset	Agda.TypeChecking.SizedTypes.Syntax
validProfileOptionStrings	Agda.Interaction.Options.ProfileOptions
VALU	Agda.TypeChecking.Serialise.Base
Value
1 (Type/Class)	Agda.Interaction.JSON
2 (Data Constructor)	Agda.Utils.WithDefault
value	Agda.TypeChecking.Serialise.Base
valueArgs	Agda.TypeChecking.Serialise.Base
valueAt	Agda.Utils.Trie
ValueCmp	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
ValueCmpOnFace	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
valueList	Agda.TypeChecking.Serialise.Instances.General
valueListPair	Agda.TypeChecking.Serialise.Instances.General
valueN	Agda.TypeChecking.Serialise.Base
valueRM	Agda.TypeChecking.Serialise.Instances.Highlighting
valuN	Agda.TypeChecking.Serialise.Base
valuN'	Agda.TypeChecking.Serialise.Base
Var
1 (Data Constructor)	Agda.Utils.Haskell.Syntax
2 (Data Constructor)	Agda.Syntax.Internal
3 (Data Constructor)	Agda.Syntax.Reflected
4 (Data Constructor)	Agda.Syntax.Abstract
5 (Type/Class)	Agda.TypeChecking.Names
var	Agda.Syntax.Internal
Var'	Agda.Syntax.Internal
VarArg	Agda.TypeChecking.Positivity.Occurrence
varBoundary	Agda.TypeChecking.Telescope
varCount	Agda.TypeChecking.Rules.LHS.Unify.Types
VarCounts
1 (Type/Class)	Agda.TypeChecking.Free
2 (Data Constructor)	Agda.TypeChecking.Free
varCounts	Agda.TypeChecking.Free
varDependencies	Agda.TypeChecking.Telescope
varDependents	Agda.TypeChecking.Telescope
varFlexRig	Agda.TypeChecking.Free.Lazy, Agda.TypeChecking.Free
VarHead	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
Variable	Agda.TypeChecking.Free.Lazy
variable	Agda.TypeChecking.Free.Lazy
variableCheck	Agda.TypeChecking.MetaVars.Occurs
VariableIsErased	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
VariableIsErased_	Agda.Interaction.Options.Errors
VariableIsIrrelevant	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
VariableIsIrrelevant_	Agda.Interaction.Options.Errors
VariableIsOfUnusableCohesion	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
VariableIsOfUnusableCohesion_	Agda.Interaction.Options.Errors
VariableIsOfUnusablePolarity	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
VariableIsOfUnusablePolarity_	Agda.Interaction.Options.Errors
VariableKind	Agda.Compiler.MAlonzo.Misc
variableName	Agda.Compiler.JS.Pretty
VariablesBoundMoreThanOnce	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
VariablesNotBoundByLHS	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
VarK	Agda.Compiler.MAlonzo.Misc
varM	Agda.TypeChecking.Primitive.Base, Agda.TypeChecking.Primitive
VarMap
1 (Type/Class)	Agda.TypeChecking.Free.Lazy
2 (Data Constructor)	Agda.TypeChecking.Free.Lazy
VarMap'	Agda.TypeChecking.Free.Lazy
varModality	Agda.TypeChecking.Free.Lazy, Agda.TypeChecking.Free
VarName	Agda.Syntax.Scope.Base
varNumber	Agda.Syntax.Common
VarOcc
1 (Type/Class)	Agda.TypeChecking.Free.Lazy, Agda.TypeChecking.Free
2 (Data Constructor)	Agda.TypeChecking.Free.Lazy, Agda.TypeChecking.Free
VarOcc'	Agda.TypeChecking.Free.Lazy, Agda.TypeChecking.Free
varOccurrenceIn	Agda.TypeChecking.Free
VarP
1 (Data Constructor)	Agda.Syntax.Internal
2 (Data Constructor)	Agda.Syntax.Reflected
3 (Data Constructor)	Agda.Syntax.Abstract
varP	Agda.Syntax.Internal
VarPart	Agda.Syntax.Common
varRangeStart	Agda.TypeChecking.Serialise.Base
Vars
1 (Type/Class)	Agda.Syntax.Translation.ReflectedToAbstract
2 (Type/Class)	Agda.TypeChecking.Names
vars	Agda.TypeChecking.Positivity
Vars1	Agda.TypeChecking.Names
VarSet	Agda.Utils.VarSet
varSetA	Agda.TypeChecking.Serialise.Base
varSetC	Agda.TypeChecking.Serialise.Base
varSetD	Agda.TypeChecking.Serialise.Base
varSort	Agda.Syntax.Internal
varTable	Agda.Syntax.Internal
varTableSize	Agda.Syntax.Internal
varTel	Agda.TypeChecking.Rules.LHS.Unify.Types
VB#	Agda.Utils.VarSet
vcase	Agda.TypeChecking.Serialise.Base
vcat
1 (Function)	Agda.Syntax.Common.Pretty
2 (Function)	Agda.Compiler.JS.Pretty
3 (Function)	Agda.TypeChecking.Pretty
Verbalize	Agda.TypeChecking.Errors
verbalize	Agda.TypeChecking.Errors
verbalizeNotAValidLetBinding	Agda.Interaction.Options.Errors
verbalizeNotAValidLetExpression	Agda.Interaction.Options.Errors
verboseBracket	Agda.TypeChecking.Monad.Debug, Agda.TypeChecking.Monad, Agda.Compiler.Backend
verboseBracketTCM	Agda.TypeChecking.Monad.Debug, Agda.TypeChecking.Monad, Agda.Compiler.Backend
VerboseKey	Agda.Interaction.Options, Agda.TypeChecking.Monad.Debug, Agda.TypeChecking.Monad, Agda.Compiler.Backend
VerboseKeyItem	Agda.Interaction.Options
VerboseLevel	Agda.Interaction.Options, Agda.TypeChecking.Monad.Debug, Agda.TypeChecking.Monad, Agda.Compiler.Backend
verboseS	Agda.TypeChecking.Monad.Debug, Agda.TypeChecking.Monad, Agda.Compiler.Backend
Verbosity	Agda.Interaction.Options, Agda.TypeChecking.Monad.Debug, Agda.TypeChecking.Monad, Agda.Compiler.Backend
verifyBuiltinRewrite	Agda.TypeChecking.Rewriting
verifyImportDirective	Agda.Syntax.Scope.Monad
verifySolution	Agda.TypeChecking.SizedTypes.WarshallSolver
version	Agda.Version
versionWithCommitInfo	Agda.VersionCommit
view	Agda.Utils.Lens
viewProjectedVar	Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad, Agda.Compiler.Backend
viewTC	Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
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
void	Agda.Utils.Monad
VS#	Agda.Utils.VarSet
vsep
1 (Function)	Agda.Syntax.Common.Pretty
2 (Function)	Agda.Compiler.JS.Pretty
3 (Function)	Agda.TypeChecking.Pretty