def Nat.read.gate

Base · base.bend:2335

2335def Nat.read.gate(+s: String, ok: Bool) -> Maybe<&2, Nat>:
2336  match ok:
2337    case True{}:
2338      Nat.read.go(s, 0n)
2339    case False{}:
2340      None{}