def bdisc

import bend-osdev-acpi@0.1.1.0/PROOF.bend as PROOF

import Base

35def bdisc(+b: Bool) -> Type:
36  match b:
37    case True{}:
38      Empty
39    case False{}:
40      Unit

Uses (3)