~/jendhub

def hex4.b.go

bend-kit-json@0.7.0.0 · json.bend:243

import bend-kit-json@0.7.0.0/json.bend as Json
import Base

243def hex4.b.go(n: Nat, r: Array<U32> & U32, +len: U32, +j: U32, +acc: U32) -> Array<U32> & U32:
244  match n:
245    case 0n:
246      (a, b) = r
247      (a, acc)
248    case 1n+k:
249      (a, +b) = r
250      +h = hexd(b)
251      hex4.b.go(k, pk(a, len, (j + 1 : U32)), len, (j + 1 : U32), Bool.pick(U32, U32.is_eq(h, 99) || U32.is_eq(acc, 65536), 65536, (acc * 16 + h : U32)))

Uses (12)

Used by (1)