def un.bt

bend-osdev-u32@0.1.0.0 · PROOF.bend:12

import Base

12def un.bt(b: Bool) -> Type:
13  match b:
14    case True{}:
15      Unit
16    case False{}:
17      Empty