def ab.is_eq

import bend-osdev-u32@0.1.0.0/PROOF_order.bend as PROOFOrder

import Base

33def ab.is_eq(c: Cmp) -> Type:
34  match c:
35    case EQ{}:
36      Unit
37    case o:
38      Empty

Uses (3)