Acpi.AcpiTables.load_with: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/acpi.bend as Acpi
Lines 237-245 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=237&end_line=245

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/header.bend as H
import bend-osdev-acpi@0.1.1.0/rsdp.bend as P
import bend-osdev-acpi@0.1.1.0/rsdt.bend as S

# every table of the machine whose RSDP is at rsdp_addr: the RSDP, the RSDT
# or XSDT (Fail if either cannot be read), then each table it lists, the
# DSDT (from the FADT) and the FACS, each read and parsed on its own
def AcpiTables.load_with(~M: Data, ~read: M -> W.W64 -> Nat -> Result<&2, &2, E.AcpiError, B.Octets>, ~X: Data, ~ext: U32 -> H.AcpiSdt -> Result<&2, &2, E.AcpiError, X>, +opts: AcpiLoadOptions, +m: M, +rsdp_addr: W.W64) -> Result<&2, &2, E.AcpiError, AcpiTableSet<X>>:
  do Result<&2, &2, E.AcpiError, AcpiTableSet<X>>:
    +r : P.AcpiRsdp <- AcpiTables.read_rsdp(~M, ~read, m, rsdp_addr)
    +x : Bool = ld.use_x(ld.opts(opts), r)
    root : S.AcpiSdtList <- ld.root(~M, ~read, m, x, ld.root_addr(x, r))
    return ld.finish(~M, ~read, ~X, ~ext, m, ld.reg(opts), r, root)

Uses (21):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Base/base.bend&name=Result.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/acpi.bend&name=AcpiLoadOptions
  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=AcpiTables.read_rsdp
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/acpi.bend&name=ld.finish
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/acpi.bend&name=ld.opts
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/acpi.bend&name=ld.reg
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/acpi.bend&name=ld.root
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/acpi.bend&name=ld.root_addr
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/acpi.bend&name=ld.use_x
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/error.bend&name=AcpiError
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/header.bend&name=AcpiSdt
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/rsdp.bend&name=AcpiRsdp
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/rsdt.bend&name=AcpiSdtList
  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-word64@0.1.1.0/word64.bend&name=W64