AmlInterp.in.stmt.ext.chk: def of bend-osdev-acpi@0.1.2.0
Import: import bend-osdev-acpi@0.1.2.0/aml_interp.bend as AmlInterp
Lines 2591-2596 of bend-osdev-acpi@0.1.2.0/aml_interp.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.2.0/aml_interp.bend&start_line=2591&end_line=2596

import Base
import bend-osdev-acpi@0.1.2.0/error.bend as E

def in.stmt.ext.chk(-H: Data, exec: Bool, +x: Nat, c: AmlCur, fs: List<&2, AmlFrame>, +w: AmlWorld<H>) -> AmlMachine<H>:
  match exec:
    case True{}:
      in.stmt.ext(H, x, c, fs, w)
    case False{}:
      AmlMachine{AmlMFail{E.AcpiAmlBadOperand{U32.add(23296, U32.from_nat(x))}}, c, fs, w}

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.from_nat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.2.0/aml_interp.bend&name=AmlCur
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.2.0/aml_interp.bend&name=AmlFrame
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.2.0/aml_interp.bend&name=AmlMachine
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.2.0/aml_interp.bend&name=AmlMode
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.2.0/aml_interp.bend&name=AmlWorld
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.2.0/aml_interp.bend&name=in.stmt.ext
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.2.0/error.bend&name=AcpiError