def ent.next

bend-osdev-acpi@0.1.1.0 · entries.bend:47

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

47def ent.next(+o: B.Octets) -> AcpiEntNext:
48  +n = B.Octets.len(o)
49  ent.next.go(Nat.is_eq(n, 0n), o, n)