Agda.TypeChecking.Errors
prettyError
class
PrettyTCM
a
tcErrString