~/jendhub

def AmlUnit.whole

bend-osdev-acpi@0.1.1.0 · aml_field.bend:132

import bend-osdev-acpi@0.1.1.0/aml_field.bend as AmlField
import Base

132# the unit is the field's alone (no other bits to keep)
133def AmlUnit.whole(u: AmlUnit, +w: Nat) -> Bool:
134  match u:
135    case AmlUnit{a, s, +n, d, ok}:
136      Nat.is_eq(n, Nat.mul(w, 8n))

Uses (5)

Used by (1)