def AcpiShow.srat
import bend-osdev-acpi@0.1.1.0/show.bend as Showimport Base
import bend-osdev-acpi@0.1.1.0/srat.bend as Sr
248def AcpiShow.srat(s: Sr.AcpiSrat) -> String:
249 match s:
250 case Sr.AcpiSrat{h, es}:
251 "SRAT [" ++ sh.list(sh.srat.es(es), "; ") ++ "]"