Show.AcpiShow.sdt_list: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/show.bend as Show
Lines 121-124 of bend-osdev-acpi@0.1.1.0/show.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&start_line=121&end_line=124

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

def AcpiShow.sdt_list(t: S.AcpiSdtList) -> String:
  match t:
    case S.AcpiSdtList{h, es}:
      "SDT [" ++ sh.list(sh.ws(es), ",") ++ "]"

Uses (5):
  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/rsdt.bend&name=AcpiSdtList
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=sh.list
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=sh.ws