def res.show.irqs
import bend-osdev-acpi@0.1.1.0/aml_resource.bend as AmlResourceimport Base
152def res.show.irqs(xs: List<&2, U32>) -> List<&2, String>:
153 match xs:
154 case Nil{}:
155 Nil{}
156 case Con{x, t}:
157 Con{U32.show(x), res.show.irqs(t)}