| _arrow | Agda.Syntax.Concrete.Glyph, Agda.Syntax.Concrete.Pretty |
| _axiomConstTransp | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _bindHoleNames | Agda.Syntax.Notation |
| _catchall | Agda.Syntax.Concrete.Definitions.Monad |
| _ccContext | Agda.Compiler.MAlonzo.Compiler |
| _ccNameSupply | Agda.Compiler.MAlonzo.Compiler |
| _conAbstr | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _conArity | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _conComp | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _conData | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _conErased | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _conForced | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _conInd | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _conPars | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _conProj | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _conSrcCon | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _covChk | Agda.Syntax.Concrete.Definitions.Monad |
| _dataAbstr | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _dataClause | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _dataCons | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _dataIxs | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _dataMutual | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _dataPars | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _dataPathCons | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _datarecPars | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _dataSort | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _dataTransp | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _dataTranspIx | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _dbraces | Agda.Syntax.Concrete.Glyph, Agda.Syntax.Concrete.Pretty |
| _emptyIdiomBrkt | Agda.Syntax.Concrete.Glyph, Agda.Syntax.Concrete.Pretty |
| _eqLeft | Agda.TypeChecking.Rules.LHS.Unify.Types |
| _eqRight | Agda.TypeChecking.Rules.LHS.Unify.Types |
| _eqtLhs | Agda.Syntax.Internal |
| _eqtName | Agda.Syntax.Internal |
| _eqtParams | Agda.Syntax.Internal |
| _eqtRhs | Agda.Syntax.Internal |
| _eqtSort | Agda.Syntax.Internal |
| _eqtType | Agda.Syntax.Internal |
| _eqType | Agda.TypeChecking.Rules.LHS.Unify.Types |
| _exprFieldA | Agda.Syntax.Concrete |
| _exprModA | Agda.Syntax.Concrete |
| _fixityAssoc | Agda.Syntax.Common |
| _fixityLevel | Agda.Syntax.Common |
| _forallQ | Agda.Syntax.Concrete.Glyph, Agda.Syntax.Concrete.Pretty |
| _funAbstr | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _funClauses | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _funCompiled | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _funCovering | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _funDelayed | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _funExtLam | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _funFlags | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _funInv | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _funIsKanOp | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _funMutual | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _funProjection | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _funSplitTree | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _funTerminates | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _funTreeless | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _funWith | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _getSort | Agda.Syntax.Internal |
| _importDirModA | Agda.Syntax.Concrete |
| _kindPosCheck | Agda.Syntax.Concrete.Definitions.Types |
| _kindUniCheck | Agda.Syntax.Concrete.Definitions.Types |
| _lambda | Agda.Syntax.Concrete.Glyph, Agda.Syntax.Concrete.Pretty |
| _leftIdiomBrkt | Agda.Syntax.Concrete.Glyph, Agda.Syntax.Concrete.Pretty |
| _lhsIndexedSplit | Agda.TypeChecking.Rules.LHS.Problem |
| _lhsOutPat | Agda.TypeChecking.Rules.LHS.Problem |
| _lhsPartialSplit | Agda.TypeChecking.Rules.LHS.Problem |
| _lhsProblem | Agda.TypeChecking.Rules.LHS.Problem |
| _lhsTarget | Agda.TypeChecking.Rules.LHS.Problem |
| _lhsTel | Agda.TypeChecking.Rules.LHS.Problem |
| _libDepends | Agda.Interaction.Library.Base, Agda.Interaction.Library |
| _libFile | Agda.Interaction.Library.Base, Agda.Interaction.Library |
| _libIncludes | Agda.Interaction.Library.Base, Agda.Interaction.Library |
| _libName | Agda.Interaction.Library.Base, Agda.Interaction.Library |
| _libPragmas | Agda.Interaction.Library.Base, Agda.Interaction.Library |
| _loneSigs | Agda.Syntax.Concrete.Definitions.Monad |
| _mvInfo | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _nameFieldA | Agda.Syntax.Concrete |
| _nameId | Agda.Syntax.Concrete.Definitions.Monad |
| _nlmEqs | Agda.TypeChecking.Rewriting.NonLinMatch |
| _nlmSub | Agda.TypeChecking.Rewriting.NonLinMatch |
| _notaFixity | Agda.Syntax.Notation |
| _posChk | Agda.Syntax.Concrete.Definitions.Monad |
| _primAbstr | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _primClauses | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _primCompiled | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _primInv | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _primName | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _primSortName | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _primSortSort | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _problemCont | Agda.TypeChecking.Rules.LHS.Problem |
| _problemEqs | Agda.TypeChecking.Rules.LHS.Problem |
| _problemRestPats | Agda.TypeChecking.Rules.LHS.Problem |
| _qnameModA | Agda.Syntax.Concrete |
| _recAbstr | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _recClause | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _recComp | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _recConHead | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _recEtaEquality' | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _recFields | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _recInduction | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _recMutual | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _recNamedCon | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _recPars | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _recPatternMatching | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _recTel | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _recTerminates | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _rightIdiomBrkt | Agda.Syntax.Concrete.Glyph, Agda.Syntax.Concrete.Pretty |
| _scopeCurrent | Agda.Syntax.Scope.Base |
| _scopeFixities | Agda.Syntax.Scope.Base |
| _scopeInScope | Agda.Syntax.Scope.Base |
| _scopeInverseModule | Agda.Syntax.Scope.Base |
| _scopeInverseName | Agda.Syntax.Scope.Base |
| _scopeLocals | Agda.Syntax.Scope.Base |
| _scopeModules | Agda.Syntax.Scope.Base |
| _scopePolarities | Agda.Syntax.Scope.Base |
| _scopePrecedence | Agda.Syntax.Scope.Base |
| _scopeVarsToBind | Agda.Syntax.Scope.Base |
| _secTelescope | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _sigDefinitions | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _sigRewriteRules | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _sigSections | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _termChk | Agda.Syntax.Concrete.Definitions.Monad |
| _terSizeDepth | Agda.Termination.Monad |
| _uniChk | Agda.Syntax.Concrete.Definitions.Monad |
| _unquoteNormalise | Agda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| _warn2Error | Agda.Interaction.Options.Warnings, Agda.Interaction.Options |
| _warningSet | Agda.Interaction.Options.Warnings, Agda.Interaction.Options |
| __CRASH_WHEN__ | Agda.TypeChecking.Monad.Debug, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| __DUMMY_DOM__ | Agda.Syntax.Internal |
| __DUMMY_LEVEL__ | Agda.Syntax.Internal |
| __DUMMY_SORT__ | Agda.Syntax.Internal |
| __DUMMY_TERM__ | Agda.Syntax.Internal |
| __DUMMY_TYPE__ | Agda.Syntax.Internal |
| __IMPOSSIBLE_VERBOSE__ | Agda.TypeChecking.Monad.Debug, Agda.Compiler.Backend, Agda.TypeChecking.Monad |
| __IMPOSSIBLE__ | Agda.Utils.Impossible |
| __UNREACHABLE__ | Agda.Utils.Impossible |