Agda.TypeChecking.Errors

prettyError

tcErrString

data Warnings

warningsToError