def pk.size.pick

bend-osdev-acpi@0.1.1.0 · aml_pkglength.bend:148

import Base

148def pk.size.pick(a: Bool, b: Bool, c: Bool) -> Nat:
149  match a:
150    case True{}:
151      1n
152    case False{}:
153      match b:
154        case True{}:
155          2n
156        case False{}:
157          match c:
158            case True{}:
159              3n
160            case False{}:
161              4n