Check.res.list: def of bend-osdev-acpi@0.1.1.0 Import: import bend-osdev-acpi@0.1.1.0/check.bend as Check Lines 229-234 of bend-osdev-acpi@0.1.1.0/check.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/check.bend&start_line=229&end_line=234 import Base import bend-osdev-acpi@0.1.1.0/aml_resource.bend as Rs def res.list(xs: List<&2, Rs.AmlResource>) -> List<&2, String>: match xs: case Nil{}: Nil{} case Con{h, t}: Con{Rs.AmlResource.show(h), res.list(t)} Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_resource.bend&name=AmlResource https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_resource.bend&name=AmlResource.show