def un.cbt

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

import Base

27def un.cbt(c: Cmp) -> Type:
28  match c:
29    case EQ{}:
30      Unit
31    case o:
32      Empty