def nm.root_up_ok

bend-osdev-acpi@0.1.1.0 · aml_name.bend:143

import Base

143def nm.root_up_ok(root: Bool, up: Nat) -> Bool:
144  match root:
145    case True{}:
146      Nat.is_eq(up, 0n)
147    case False{}:
148      True{}