def uq.bt

import bend-osdev-algo@0.1.0.0/proof_u32.bend as ProofU32

import Base

39def uq.bt(b: Bool) -> Type:
40  match b:
41    case True{}:
42      Unit
43    case False{}:
44      Empty

Uses (3)