Check.loaded: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/check.bend as Check
Lines 64-69 of bend-osdev-acpi@0.1.1.0/check.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/check.bend&start_line=64&end_line=69

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

def loaded(l: A.AcpiLoaded<R.AcpiNoExt>) -> String:
  match l:
    case A.AcpiLoaded{a, Done{t}}:
      W.W64.show_hex(a) ++ " " ++ R.AcpiTable.name(~R.AcpiNoExt, t)
    case A.AcpiLoaded{a, Fail{e}}:
      W.W64.show_hex(a) ++ " " ++ err(e)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  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/check.bend&name=err
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/registry.bend&name=AcpiNoExt
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/registry.bend&name=AcpiTable.name
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.show_hex