def bits.disc

import bend-osdev-caps@0.1.0.0/PROOF.bend as PROOF

import Base

21def bits.disc(b: Bool) -> Type:
22  match b:
23    case False{}:
24      Unit
25    case True{}:
26      Empty

Uses (3)