def sdt.c2

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

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
import bend-osdev-acpi@0.1.1.0/checksum.bend as C

182def sdt.c2(ok: Bool, +l: U32, +o: B.Octets) -> Result<&2, &2, E.AcpiError, B.Octets>:
183  match ok:
184    case True{}:
185      +raw = B.Octets.take(U32.to_nat(l), o)
186      sdt.c3(C.AcpiChecksum.ok(raw), raw)
187    case False{}:
188      Fail{E.AcpiBadLength{l}}