def AcpiHeader.decode

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

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

167# the header in the first 36 bytes, fields as stored (unchecked);
168# AcpiTooShort if there are fewer
169def AcpiHeader.decode(+o: B.Octets) -> Result<&2, &2, E.AcpiError, AcpiHeader>:
170  hd.d1(B.Octets.split_at(4n, o), o)