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