def rev

bend-kit-bits@0.1.0.1 · bits.bend:233

import bend-kit-bits@0.1.0.1/bits.bend as Bits

import Base

233def rev(k: Nat, +v: U32, +acc: U32) -> U32:
234  match k:
235    case 0n:
236      acc
237    case 1n+p:
238      rev(p, U32.shrn(v, 1n), ((acc << 1n) .|. (v .&. 1) : U32))

Uses (6)

Used by (3)