Agda.TypeChecking.Rules.Decl
checkDecls
checkDecl
mutualChecks
type FinalChecks
checkUnquoteDecl
instantiateDefinitionType
highlight_
checkTermination_
checkPositivity_
checkCoinductiveRecords
checkInjectivity_
checkProjectionLikeness_
checkAxiom
checkPrimitive
checkPragma
checkMutual
checkTypeSignature
checkSection
checkModuleArity
checkSectionApplication
checkSectionApplication'
checkImport
class ShowHead a
debugPrintDecl