def flip

bend-kit-collections@0.1.4.1 · LAWS.bend:97

import Base

97# The laws below hold for every comparator that is a total order, with EQ
98# meaning equal keys.
99def flip(c: Cmp) -> Cmp:
100  match c:
101    case LT{}:
102      GT{}
103    case EQ{}:
104      EQ{}
105    case GT{}:
106      LT{}