def Cmp.is_eq
import Base638def Cmp.is_eq(c: Cmp) -> Bool:
639 match c:
640 case EQ{}:
641 True{}
642 case o:
643 False{}
import Base638def Cmp.is_eq(c: Cmp) -> Bool:
639 match c:
640 case EQ{}:
641 True{}
642 case o:
643 False{}