def ld.rsdp.pick

bend-osdev-acpi@0.1.1.0 · acpi.bend:122

import Base

122def ld.rsdp.pick(v1: Bool) -> Nat:
123  match v1:
124    case True{}:
125      20n
126    case False{}:
127      36n