def in.elem.pkg

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

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

751def in.elem.pkg(ok: Bool, xs: List<&2, V.AmlValue>, i: Nat, v: V.AmlValue) -> Result<&2, &2, E.AcpiError, V.AmlValue>:
752  match ok:
753    case True{}:
754      Done{V.AmlPkg{in.list.set(i, xs, v)}}
755    case False{}:
756      Fail{E.AcpiAmlRange{}}