Agda.TypeChecking.Warnings
genericWarning
genericNonFatalError
warning_
warning
data WhichWarnings
isUnsolvedWarning
classifyWarning
classifyWarnings
runPM