def trim.at

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

import Base

260# an integer part with its leading 0s dropped; no digit is 0
261def trim.at(zero: Bool, ch: Char, tl: String, more: Unit -> String) -> String:
262  match zero:
263    case True{}:
264      more(Unit{})
265    case False{}:
266      SCon{ch, tl}