def byte

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

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

import Base

49# the byte of a word: its low 8 bits (through OctByte, so that a byte read
50# back from an Octets and byte(b) are the same term even for an unknown b)
51def byte(b: U32) -> U32:
52  oct.to(oct.of(b))

Uses (3)

Used by (400)