def wn.ebt

import bend-osdev-word64@0.1.1.0/proof_value.bend as ProofValue

import Base

49def wn.ebt(c: Cmp) -> Type:
50  match c:
51    case EQ{}:
52      Unit
53    case o:
54      Empty

Uses (3)