def digits.go

bend-kit-tar@0.3.0.0 · tar.bend:583

import bend-kit-tar@0.3.0.0/tar.bend as Tar

import Base

583def digits.go(n: Nat, +v: U32, +c: U32) -> U32:
584  match n:
585    case 0n:
586      c
587    case 1n+p:
588      digits.go(p, (v / 10 : U32), Bool.pick(U32, U32.is_le(10, v), (c + 1 : U32), c))

Uses (6)

Used by (1)

bend-kit-tar@0.3.0.0/tar:digits