def U32.show.fin

Base · base.bend:2356

2356def U32.show.fin(g: Nat, acc: String, +n: U32, z: Bool) -> String:
2357  match z:
2358    case True{}:
2359      acc
2360    case False{}:
2361      U32.show.go(g, U32.div(n, 10),
2362        SCon{Chr{U32.add(48, U32.mod(n, 10))}, acc})