def fl.bits.go

bend-osdev-acpi@0.1.1.0 · aml_interp.bend:2350

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

2350def fl.bits.go(r: Result<&2, &2, E.AcpiError, K.AmlPkgL>, +lim: Nat) -> Result<&2, &2, E.AcpiError, AmlImm>:
2351  match r:
2352    case Fail{e}:
2353      Fail{e}
2354    case Done{K.AmlPkgL{v, +size, rest}}:
2355      fl.bits.fit(Nat.is_le(size, lim), v, AmlCur{rest, Nat.sub(lim, size)})