~/jendhub

def reflect32

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

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

35def reflect32(x: U32, n: Nat) -> U32:
36  reflect32.go(n, x, 0)

Uses (3)

Used by (4)