~/jendhub

def reflect64.go

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

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

38def reflect64.go(n: Nat, +x: W.W64, r: W.W64) -> W.W64:
39  match n:
40    case 0n:
41      r
42    case 1n+p:
43      reflect64.go(p, W.W64.shr(x, 1n), W.W64.or(W.W64.shl(r, 1n), W.W64.and(x, W.W64.one())))

Uses (7)

Used by (1)