def hd.byte

bend-osdev-acpi@0.1.1.0 · header.bend:78

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

78def hd.byte(v: U32) -> B.Octets:
79  B.Octets.of_list([v])