Aml.aml.boot.one: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/aml.bend as Aml
Lines 181-186 of bend-osdev-acpi@0.1.1.0/aml.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/aml.bend&start_line=181&end_line=186

import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/dsdt.bend as D
import bend-osdev-acpi@0.1.1.0/aml_host.bend as Hs

def aml.boot.one(~H: Data, ~io: H -> Hs.AmlHostOp -> Result<&2, &2, E.AcpiError, Hs.AmlHostAns<H>>, t: D.AcpiAml, +n: Nat, r: Result<&2, &2, E.AcpiError, AmlSystem<H>>) -> Result<&2, &2, E.AcpiError, AmlSystem<H>>:
  match r:
    case Fail{e}:
      Fail{e}
    case Done{+s}:
      aml.boot.res(H, s, Aml.load(~H, ~io, s, D.AcpiAml.aml(t), n))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml.bend&name=Aml.load
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml.bend&name=AmlSystem
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml.bend&name=aml.boot.res
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_host.bend&name=AmlHostAns
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_host.bend&name=AmlHostOp
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/dsdt.bend&name=AcpiAml
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/dsdt.bend&name=AcpiAml.aml
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/error.bend&name=AcpiError