Iso8601.Iso8601.strip0: def of bend-time-lib@0.4.0.1
Import: import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601
Lines 62-75 of bend-time-lib@0.4.0.1/iso8601.bend: https://jend.leeeet.dev/read.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&start_line=62&end_line=75

import Base

def Iso8601.strip0(k: Nat, s: String, z: Bool) -> String:
  match k:
    case 0n:
      SCon{'0', SNil{}}
    case 1n++p:
      match s:
        case SNil{}:
          SCon{'0', SNil{}}
        case SCon{+h, +t}:
          match z:
            case False{}:
              SCon{h, t}
            case True{}:
              Iso8601.strip0(p, t, Iso8601.lead0(t))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.lead0