Agda.TypeChecking.Errors
prettyError
prettyWarning
tcErrString
prettyTCWarnings'
prettyTCWarnings
tcWarningsToError
applyFlagsToTCWarnings
dropTopLevelModule
stringTCErr
sayWhen