def Level.rank

bend-kit-notch@0.4.0.0 · notch.bend:31

import Base

31def Level.rank(l: Level) -> Nat:
32  match l:
33    case Debug{}:
34      0n
35    case Info{}:
36      1n
37    case Warn{}:
38      2n
39    case Error{}:
40      3n