_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 |
_notaFixity | Agda.Syntax.Fixity |
_qnameModA | Agda.Syntax.Concrete |
_secTelescope | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
_sigDefinitions | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
_sigRewriteRules | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
_sigSections | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
_terSizeDepth | Agda.Termination.Monad |