def big.go

bend-osdev-camellia@0.1.0.0 · check.bend:35

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

35# n bytes, byte i = 7i + 3 (mod 256)
36def big.go(n: Nat, +i: U32, acc: List<&2, U32>) -> List<&2, U32>:
37  match n:
38    case 0n:
39      B.rev(acc)
40    case 1n+p:
41      big.go(p, U32.add(i, 1), Con{U32.and(255, U32.add(U32.mul(i, 7), 3)), acc})