def res.small.fit

bend-osdev-acpi@0.1.1.0 · aml_resource.bend:140

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

140def res.small.fit(ok: Bool, +t: Nat, +n: Nat, +o: B.Octets) -> Result<&2, &2, E.AcpiError, AmlResNext>:
141  match ok:
142    case False{}:
143      Fail{E.AcpiBadEntry{0n, U32.from_nat(t)}}
144    case True{}:
145      res.small.end(Nat.is_eq(t, 15n), t, n, o)