def num.go

ezx@1.11.0.0 · src/git/git.bend:471

import Base

471def num.go(text: String, +acc: Nat) -> Nat:
472  match text:
473    case SNil{}:
474      acc
475    case SCon{+h, t}:
476      num.go(t, Nat.add(Nat.mul(acc, 10n), dig(h)))