Aml.aml.fit.args: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/aml.bend as Aml
Lines 143-152 of bend-osdev-acpi@0.1.1.0/aml.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/aml.bend&start_line=143&end_line=152

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

# arguments as the method sees them: Integers cut to 32 bits in a 32-bit
# definition block
def aml.fit.args(+wide: Bool, xs: List<&2, V.AmlValue>) -> List<&2, V.AmlValue>:
  match xs:
    case Nil{}:
      Nil{}
    case Con{V.AmlInt{x}, t}:
      Con{V.AmlInt{V.AmlInt.fit(wide, x)}, aml.fit.args(wide, t)}
    case Con{v, t}:
      Con{v, aml.fit.args(wide, t)}

Uses (4):
  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=bend-osdev-acpi@0.1.1.0/aml_value.bend&name=AmlInt.fit
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_value.bend&name=AmlValue