def bo.disc

import bend-osdev-mode-core@0.1.0.0/PROOF.bend as PROOF

import Base

97def bo.disc(b: Bool) -> Type:
98  match b:
99    case False{}:
100      Unit
101    case True{}:
102      Empty

Uses (3)