def absurd.bool

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

import Base

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

Uses (3)