Agda.TypeChecking.Errors

prettyError

class PrettyTCM a

tcErrString

data Warnings

warningsToError