Entries.AcpiEntNext: type of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/entries.bend as Entries
Lines 25-30 of bend-osdev-acpi@0.1.1.0/entries.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/entries.bend&start_line=25&end_line=30

import Base

# what comes next in the bytes: nothing, a structure of type k and length l,
# or a structure of type k whose length is bad
type AcpiEntNext is Data:
  AcpiEntEnd{}
  AcpiEntOk{kind: U32, len: Nat}
  AcpiEntBad{kind: U32}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32