~/jendhub

def strip.lead

bend-toon-codec@0.1.0.0 · src/num.bend:157

import bend-toon-codec@0.1.0.0/src/num.bend as Num
import Base

157# Drop leading zeros of the digit string; each one lowers the point position.
158def strip.lead(+d: String, +p: U32) -> Sp2:
159  match d:
160    case SNil{}:
161      Sp2{d, p}
162    case SCon{c, t}:
163      lead.pick(is_zero_char(c), d, p, strip.lead(t, (p - 1 : U32)))

Uses (6)

Used by (1)