def Nat.read.if

Base · base.bend:2302

2302def Nat.read.if(t: String, acc: Nat, d: U32, ok: Bool) -> Maybe<&2, Nat>:
2303  match ok:
2304    case True{}:
2305      Nat.read.go(t, Nat.add(Nat.mul(acc, 10n), U32.to_nat(d)))
2306    case False{}:
2307      None{}