~/jendhub

def reflect32.go

bend-osdev-crc@0.1.0.0 · crc.bend:28

import bend-osdev-crc@0.1.0.0/crc.bend as Crc
import Base

28def reflect32.go(n: Nat, +x: U32, r: U32) -> U32:
29  match n:
30    case 0n:
31      r
32    case 1n+p:
33      reflect32.go(p, U32.shr(x), U32.or(U32.shl(r), U32.and(x, 1)))

Uses (6)

Used by (1)