Agda.TypeChecking.Rules.Decl

checkDecls

checkDecl

instantiateDefinitionType

checkTermination_

checkPositivity_

checkCoinductiveRecords

checkInjectivity_

checkProjectionLikeness_

checkAxiom

checkPrimitive

checkPragma

checkMutual

checkTypeSignature

checkSection

checkModuleArity

checkSectionApplication

checkSectionApplication'

checkImport