type AcpiEntNext
import bend-osdev-acpi@0.1.1.0/entries.bend as Entriesimport Base
25# what comes next in the bytes: nothing, a structure of type k and length l,
26# or a structure of type k whose length is bad
27type AcpiEntNext is Data:
28 AcpiEntEnd{}
29 AcpiEntOk{kind: U32, len: Nat}
30 AcpiEntBad{kind: U32}