Agda.TypeChecking.Warnings

genericWarning

genericNonFatalError

warning_

warning

data WhichWarnings

isUnsolvedWarning

classifyWarning

classifyWarnings

runPM