def enabled

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

import bend-kit-notch@0.4.0.0/notch.bend as Notch

import Base

68def enabled(lg: Logger, lvl: Level) -> Bool:
69  match lg:
70    case Logger{m, f, c}:
71      Nat.is_ge(Level.rank(lvl), Level.rank(m))

Uses (5)

Used by (3)