Agda.TypeChecking.Rules.Decl

checkDecls

checkDecl

checkAxiom

checkPrimitive

checkPragma

checkMutual

checkTypeSignature

checkSection

checkModuleArity

checkSectionApplication

checkSectionApplication'

checkImport