def ab.bool

bend-osdev-u32@0.1.0.0 · PROOF_order.bend:11

import Base

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