def bits8

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

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes

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

16# the low 8 bits of a word, as bits
17def bits8(b: U32) -> Word(8n):
18  match b:
19    case U32{w}:
20      W.W64.bits.lo(8n, 24n, w)

Uses (3)

Used by (4)