AmlInterp.in.drop.temps: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/aml_interp.bend as AmlInterp
Lines 1654-1659 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=1654&end_line=1659

import Base
import bend-osdev-acpi@0.1.1.0/aml_ns.bend as S

def in.drop.temps(ts: List<&2, String>, ns: S.AmlNs) -> S.AmlNs:
  match ts:
    case Nil{}:
      ns
    case Con{t, rest}:
      in.drop.temps(rest, S.AmlNs.remove(ns, t))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_ns.bend&name=AmlNs
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_ns.bend&name=AmlNs.remove