Acpi.AcpiTableSet.find: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/acpi.bend as Acpi
Lines 273-276 of bend-osdev-acpi@0.1.1.0/acpi.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/acpi.bend&start_line=273&end_line=276

import Base
import bend-osdev-acpi@0.1.1.0/registry.bend as R

# the first table read whose parser's name (R.AcpiTable.name: the
# signature) is name
def AcpiTableSet.find(~X: Data, s: AcpiTableSet<X>, +name: String) -> Maybe<&2, R.AcpiTable<X>>:
  ld.find(~X, AcpiTableSet.tables(~X, s), name)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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/acpi.bend&name=AcpiTableSet
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/acpi.bend&name=AcpiTableSet.tables
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/acpi.bend&name=ld.find
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/registry.bend&name=AcpiTable