def num.ok.step.lead

emerging-ezjson@1.3.0.0 · src/value.bend:129

import Base

129def num.ok.step.lead(ok: Bool) -> Num:
130  match ok:
131    case True{}:
132      NDig{}
133    case False{}:
134      NBad{}