Str.text.digits.trim: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/str.bend as Str
Lines 470-477 of ezsys@0.1.0.0/src/str.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/str.bend&start_line=470&end_line=477

import Base

# the text with its leading '0's removed
def text.digits.trim(txt: String) -> String:
  match txt:
    case SNil{}:
      SNil{}
    case SCon{+h, +t}:
      text.digits.zero.if(Char.is_eq(h, '0'), h, t,
        _u => text.digits.trim(t))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=text.digits.zero.if