AmlValue.val.ref.show: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/aml_value.bend as AmlValue
Lines 349-364 of bend-osdev-acpi@0.1.1.0/aml_value.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/aml_value.bend&start_line=349&end_line=364

import Base

def val.ref.show(l: AmlLoc) -> String:
  match l:
    case AmlLName{p}:
      "ref " ++ p
    case AmlLLocal{i}:
      "ref Local" ++ Nat.show(i)
    case AmlLArg{i}:
      "ref Arg" ++ Nat.show(i)
    case AmlLIndex{b, i}:
      "ref index " ++ Nat.show(i)
    case AmlLElem{v, i}:
      "ref element " ++ Nat.show(i)
    case AmlLDebug{}:
      "ref Debug"
    case AmlLNone{}:
      "ref none"

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