Acpi.AcpiTableSet.tables: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/acpi.bend as Acpi
Lines 252-255 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=252&end_line=255

import Base

def AcpiTableSet.tables(~X: Data, s: AcpiTableSet<X>) -> List<&2, AcpiLoaded<X>>:
  match s:
    case AcpiTableSet{r, root, ts, f}:
      ts

Uses (3):
  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/acpi.bend&name=AcpiLoaded
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/acpi.bend&name=AcpiTableSet