def ent.next.pick

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

import Base

32def ent.next.pick(ok: Bool, +k: U32, l: Nat) -> AcpiEntNext:
33  match ok:
34    case True{}:
35      AcpiEntOk{k, l}
36    case False{}:
37      AcpiEntBad{k}