def Cmp.is_gt
import Base645def Cmp.is_gt(c: Cmp) -> Bool:
646 match c:
647 case GT{}:
648 True{}
649 case o:
650 False{}
import Base645def Cmp.is_gt(c: Cmp) -> Bool:
646 match c:
647 case GT{}:
648 True{}
649 case o:
650 False{}