def lc.bits8

bend-osdev-cipher-core@0.1.0.0 · cipher_core.bend:139

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

139# the low 8 bits of a word, as bits, and the byte with these bits
140def lc.bits8(b: U32) -> Word(8n):
141  match b:
142    case U32{w}:
143      W.W64.bits.lo(8n, 24n, w)