AmlInterp.in.index.ref: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/aml_interp.bend as AmlInterp
Lines 1243-1248 of bend-osdev-acpi@0.1.1.0/aml_interp.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/aml_interp.bend&start_line=1243&end_line=1248

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

def in.index.ref(base: V.AmlValue, +i: Nat) -> V.AmlValue:
  match base:
    case V.AmlRef{l}:
      V.AmlRef{V.AmlLIndex{l, i}}
    case _:
      V.AmlRef{V.AmlLElem{base, i}}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_value.bend&name=AmlLoc
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_value.bend&name=AmlValue