def sl.width

import bend-osdev-acpi@0.1.1.0/rsdt.bend as Rsdt

import Base

44def sl.width(wide: Bool) -> Nat:
45  match wide:
46    case True{}:
47      8n
48    case False{}:
49      4n

Uses (2)