Index - _
| _bindHoleName | Agda.Syntax.Notation |
| _exprFieldA | Agda.Syntax.Concrete |
| _exprModA | Agda.Syntax.Concrete |
| _fixityAssoc | Agda.Syntax.Fixity |
| _fixityLevel | Agda.Syntax.Fixity |
| _getSort | Agda.Syntax.Internal |
| _importDirModA | Agda.Syntax.Concrete |
| _nameFieldA | Agda.Syntax.Concrete |
| _nlmEqs | Agda.TypeChecking.Rewriting.NonLinMatch |
| _nlmSub | Agda.TypeChecking.Rewriting.NonLinMatch |
| _notaFixity | Agda.Syntax.Fixity |
| _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 |