~/jendhub

def Crc32Spec.start.go

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

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

192# the register a CRC starts from
193def Crc32Spec.start.go(reflected: Bool, init: U32, width: Nat) -> U32:
194  match reflected:
195    case True{}:
196      reflect32(init, width)
197    case False{}:
198      init

Uses (4)

Used by (1)