| _arrow | Agda.Syntax.Concrete.Pretty |
| _bindHoleName | Agda.Syntax.Notation |
| _ccContext | Agda.Compiler.MAlonzo.Compiler |
| _ccNameSupply | Agda.Compiler.MAlonzo.Compiler |
| _dbraces | Agda.Syntax.Concrete.Pretty |
| _emptyIdiomBrkt | Agda.Syntax.Concrete.Pretty |
| _exprFieldA | Agda.Syntax.Concrete |
| _exprModA | Agda.Syntax.Concrete |
| _fixityAssoc | Agda.Syntax.Common |
| _fixityLevel | Agda.Syntax.Common |
| _forallQ | Agda.Syntax.Concrete.Pretty |
| _getSort | Agda.Syntax.Internal |
| _importDirModA | Agda.Syntax.Concrete |
| _lambda | Agda.Syntax.Concrete.Pretty |
| _leftIdiomBrkt | Agda.Syntax.Concrete.Pretty |
| _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 |
| _libFile | Agda.Interaction.Library.Base |
| _libIncludes | Agda.Interaction.Library.Base |
| _libName | Agda.Interaction.Library.Base |
| _mvInfo | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
| _nameFieldA | Agda.Syntax.Concrete |
| _nlmEqs | Agda.TypeChecking.Rewriting.NonLinMatch |
| _nlmSub | Agda.TypeChecking.Rewriting.NonLinMatch |
| _notaFixity | Agda.Syntax.Notation |
| _problemCont | Agda.TypeChecking.Rules.LHS.Problem |
| _problemEqs | Agda.TypeChecking.Rules.LHS.Problem |
| _problemRestPats | Agda.TypeChecking.Rules.LHS.Problem |
| _qnameModA | Agda.Syntax.Concrete |
| _rightIdiomBrkt | 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.TypeChecking.Monad, Agda.Compiler.Backend |
| _sigDefinitions | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
| _sigRewriteRules | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
| _sigSections | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
| _terSizeDepth | Agda.Termination.Monad |
| _unquoteNormalise | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
| _warn2Error | Agda.Interaction.Options.Warnings, Agda.Interaction.Options |
| _warningSet | Agda.Interaction.Options.Warnings, Agda.Interaction.Options |
| __CRASH_WHEN__ | Agda.TypeChecking.Monad.Debug, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
| __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.TypeChecking.Monad, Agda.Compiler.Backend |
| __IMPOSSIBLE__ | Agda.Utils.Impossible |
| __UNREACHABLE__ | Agda.Utils.Impossible |