| _arrow | Agda.Syntax.Concrete.Pretty |
| _bindHoleName | Agda.Syntax.Notation |
| _ccContext | Agda.Compiler.MAlonzo.Compiler |
| _ccNameSupply | Agda.Compiler.MAlonzo.Compiler |
| _dbraces | Agda.Syntax.Concrete.Pretty |
| _exprFieldA | Agda.Syntax.Concrete |
| _exprModA | Agda.Syntax.Concrete |
| _fixityAssoc | Agda.Syntax.Fixity |
| _fixityLevel | Agda.Syntax.Fixity |
| _forallQ | Agda.Syntax.Concrete.Pretty |
| _getSort | Agda.Syntax.Internal |
| _importDirModA | Agda.Syntax.Concrete |
| _lambda | 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 |
| _nameFieldA | Agda.Syntax.Concrete |
| _nlmEqs | Agda.TypeChecking.Rewriting.NonLinMatch |
| _nlmSub | Agda.TypeChecking.Rewriting.NonLinMatch |
| _notaFixity | Agda.Syntax.Fixity |
| _problemCont | Agda.TypeChecking.Rules.LHS.Problem |
| _problemEqs | Agda.TypeChecking.Rules.LHS.Problem |
| _problemRestPats | Agda.TypeChecking.Rules.LHS.Problem |
| _qnameModA | Agda.Syntax.Concrete |
| _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 |