def Cmp.is_le
import Base652def Cmp.is_le(c: Cmp) -> Bool:
653 match c:
654 case GT{}:
655 False{}
656 case o:
657 True{}
import Base652def Cmp.is_le(c: Cmp) -> Bool:
653 match c:
654 case GT{}:
655 False{}
656 case o:
657 True{}