def pk.dec

bend-osdev-acpi@0.1.1.0 · aml_pkglength.bend:117

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

117# the PkgLength at the front of a list of bytes
118def pk.dec(xs: List<&2, U32>) -> Result<&2, &2, E.AcpiError, AmlPkgL>:
119  match xs:
120    case Nil{}:
121      Fail{E.AcpiAmlTruncated{}}
122    case Con{U32{WCon{l0, WCon{l1, WCon{l2, WCon{l3, WCon{l4, WCon{l5, WCon{l6, WCon{l7, lh}}}}}}}}}, t}:
123      pk.lead(l7, l6, l0, l1, l2, l3, l4, l5, t)