Time.tz.number.step: def of bend-kit-time@0.3.0.0
Import: import bend-kit-time@0.3.0.0/time.bend as Time
Lines 753-758 of bend-kit-time@0.3.0.0/time.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-time@0.3.0.0/time.bend&start_line=753&end_line=758

import Base

def tz.number.step(digit: Bool, c: U32, t: String, acc: U32, seen: Bool, next: Unit -> Maybe<&2, TzField>) -> Maybe<&2, TzField>:
  match digit:
    case True{}:
      next(Unit{})
    case False{}:
      tz.number.stop(seen, acc, SCon{Chr{c}, t})

Uses (8):
  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=Maybe
  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=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=TzField
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=tz.number.stop