def Cmp.disc_eq

import lawful-words@0.1.0.0/proof_word.bend as ProofWord

import Base

238def Cmp.disc_eq(c: Cmp) -> Type:
239  match c:
240    case EQ{}:
241      Empty
242    case o:
243      Unit

Uses (3)