~/jendhub

def trim

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

import emerging-ezjson@1.3.0.0/src/fixed.bend as Fixed
import Base

268# an integer part with its leading 0s dropped; no digit is 0
269def trim(int: String) -> String:
270  match int:
271    case SNil{}:
272      "0"
273    case SCon{+hd, +tl}:
274      trim.at(Char.is_eq(hd, '0'), hd, tl, _u => trim(tl))

Uses (4)

Used by (1)