def AcpiShow.sdt_list
import bend-osdev-acpi@0.1.1.0/show.bend as Showimport Base
import bend-osdev-acpi@0.1.1.0/rsdt.bend as S
121def AcpiShow.sdt_list(t: S.AcpiSdtList) -> String:
122 match t:
123 case S.AcpiSdtList{h, es}:
124 "SDT [" ++ sh.list(sh.ws(es), ",") ++ "]"