def AmlName.name_char
import bend-osdev-acpi@0.1.1.0/aml_name.bend as AmlNameimport Base
118# a NameChar: a LeadNameChar or a digit
119def AmlName.name_char(+c: U32) -> Bool:
120 Bool.or(nm.alpha(c), Bool.and(U32.is_le(48, c), U32.is_le(c, 57)))
import bend-osdev-acpi@0.1.1.0/aml_name.bend as AmlNameimport Base
118# a NameChar: a LeadNameChar or a digit
119def AmlName.name_char(+c: U32) -> Bool:
120 Bool.or(nm.alpha(c), Bool.and(U32.is_le(48, c), U32.is_le(c, 57)))