def inc.at

emerging-ezjson@1.3.0.0 · src/fixed.bend:222

import Base

222# one more on a digit, carried: a 9 is 0 and carries
223def inc.at(nine: Bool, ch: Char, tl: String, more: Unit -> String) -> String:
224  match nine:
225    case True{}:
226      SCon{'0', more(Unit{})}
227    case False{}:
228      SCon{Char.from_u32(U32.add(Char.to_u32(ch), 1)), tl}