Registry.reg.lookup: def of bend-osdev-acpi@0.1.1.0 Import: import bend-osdev-acpi@0.1.1.0/registry.bend as Registry Lines 64-69 of bend-osdev-acpi@0.1.1.0/registry.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/registry.bend&start_line=64&end_line=69 import Base import bend-osdev-bytes@0.1.1.0/bytes.bend as B def reg.lookup(es: List<&2, AcpiRegEntry>, +sig: B.Octets) -> AcpiKind: match es: case Nil{}: AcpiKRaw{} case Con{AcpiRegEntry{s, k}, t}: reg.lookup.pick(B.Octets.is_eq(s, sig), k, reg.lookup(t, sig)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/registry.bend&name=AcpiKind https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/registry.bend&name=AcpiRegEntry https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/registry.bend&name=reg.lookup.pick https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.is_eq