def bdisc

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

import Base

1778def bdisc(+b: Bool) -> Type:
1779  match b:
1780    case True{}:
1781      Unit
1782    case False{}:
1783      Empty

Uses (3)