def absurd.bool

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

import Base

17def absurd.bool(b: Bool) -> Type:
18  match b:
19    case True{}:
20      Unit
21    case False{}:
22      Empty

Uses (3)