Hpet.AcpiHpet: type of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/hpet.bend as Hpet
Lines 23-24 of bend-osdev-acpi@0.1.1.0/hpet.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/hpet.bend&start_line=23&end_line=24

import Base
import bend-osdev-acpi@0.1.1.0/header.bend as H
import bend-osdev-acpi@0.1.1.0/gas.bend as G

type AcpiHpet is Data:
  AcpiHpet{header: H.AcpiHeader, block_id: U32, base: G.AcpiGas, number: U32, min_tick: U32, page_protection: U32}

Uses (3):
  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/gas.bend&name=AcpiGas
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/header.bend&name=AcpiHeader