Num.strip.lead: def of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/src/num.bend as Num
Lines 157-163 of bend-toon-codec@0.1.0.0/src/num.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/num.bend&start_line=157&end_line=163

import Base

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/num.bend&name=Sp2
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/num.bend&name=is_zero_char
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/num.bend&name=lead.pick