Agda.TypeChecking.Rules.Decl
checkDecls
checkDecl
checkAxiom
checkPrimitive
checkPragma
checkMutual
checkTypeSignature
checkSection
checkModuleArity
checkSectionApplication
checkSectionApplication'
checkImport