def nm.seg_ok.list
import bend-osdev-acpi@0.1.1.0/aml_name.bend as AmlNameimport Base
125def nm.seg_ok.list(xs: List<&2, U32>) -> Bool:
126 match xs:
127 case Con{c0, Con{c1, Con{c2, Con{c3, Nil{}}}}}:
128 nm.seg_ok4(c0, c1, c2, c3)
129 case _:
130 False{}