def cm.flip

bend-osdev-u32@0.1.0.0 · PROOF_order.bend:65

import Base

65def cm.flip(c: Cmp) -> Cmp:
66  match c:
67    case LT{}:
68      GT{}
69    case EQ{}:
70      EQ{}
71    case GT{}:
72      LT{}