def of_bits8

bend-osdev-bytes@0.1.1.0 · bytes.bend:22

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

22# the byte (0 to 255) with these 8 bits
23def of_bits8(s: Word(8n)) -> U32:
24  U32{W.W64.bits.cat(8n, 24n, s, Word.zero(24n))}