def sdt.c1

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

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

190def sdt.c1(m: Maybe<&2, U32>, +o: B.Octets) -> Result<&2, &2, E.AcpiError, B.Octets>:
191  match m:
192    case None{}:
193      Fail{E.AcpiTooShort{36n, B.Octets.len(o)}}
194    case Some{+l}:
195      sdt.c2(Bool.and(Nat.is_le(36n, U32.to_nat(l)), Nat.is_le(U32.to_nat(l), B.Octets.len(o))), l, o)