avail/avail.compiler/AvailRejectedParseException/level

level

val level: CompilerDiagnostics.ParseNotificationLevel

The ParseNotificationLevel that indicates the priority of the parse theory that failed.