def hd.d2

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

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

153def hd.d2(m: Maybe<&2, B.OctetsSplit>, +all: B.Octets, s: B.Octets) -> Result<&2, &2, E.AcpiError, AcpiHeader>:
154  match m:
155    case None{}:
156      Fail{hd.short(all)}
157    case Some{B.OctetsSplit{f, rest}}:
158      hd.d3(B.Octets.split_at(1n, rest), all, s, hd.u32(f))