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