Show.AcpiShow.rsdp: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/show.bend as Show
Lines 109-112 of bend-osdev-acpi@0.1.1.0/show.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&start_line=109&end_line=112

import Base
import bend-osdev-acpi@0.1.1.0/rsdp.bend as P

def AcpiShow.rsdp(r: P.AcpiRsdp) -> String:
  match r:
    case P.AcpiRsdp{o, v, a, x}:
      "RSDP " ++ sh.x(o) ++ " " ++ sh.u(v) ++ " " ++ sh.u(a) ++ " " ++ sh.rsdp.ext(x)

Uses (6):
  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/rsdp.bend&name=AcpiRsdp
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=sh.rsdp.ext
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=sh.u
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=sh.x