Show.AcpiShow.hpet: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/show.bend as Show
Lines 207-210 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=207&end_line=210

import Base
import bend-osdev-acpi@0.1.1.0/hpet.bend as Hp

def AcpiShow.hpet(t: Hp.AcpiHpet) -> String:
  match t:
    case Hp.AcpiHpet{h, id, g, n, m, p}:
      "HPET " ++ sh.u(id) ++ " " ++ AcpiShow.gas(g) ++ " " ++ sh.u(n) ++ " " ++ sh.u(m) ++ " " ++ sh.u(p)

Uses (5):
  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/hpet.bend&name=AcpiHpet
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=AcpiShow.gas
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/show.bend&name=sh.u