def in.def.chk
bend-osdev-acpi@0.1.1.0 · aml_interp.bend:1479
import bend-osdev-acpi@0.1.1.0/aml_interp.bend as AmlInterp
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
import bend-osdev-acpi@0.1.1.0/aml_ns.bend as S
1479def in.def.chk(-H: Data, dup: Bool, +p: String, o: S.AmlObject, c: AmlCur, fs: List<&2, AmlFrame>, +w: AmlWorld<H>) -> AmlMachine<H>:
1480 match dup:
1481 case True{}:
1482 AmlMachine{AmlMFail{E.AcpiAmlDuplicate{p}}, c, fs, w}
1483 case False{}:
1484 in.give(H, V.AmlUninit{}, c, fs, in.define(H, w, p, o))