~/jendhub

def tz.number.step

bend-kit-time@0.3.0.0 · time.bend:753

import bend-kit-time@0.3.0.0/time.bend as Time
import Base

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

Uses (8)

Used by (1)