def ord.flip

ezx@1.13.0.0 · src/git/git.bend:375

import Base

375def ord.flip(order: Ord) -> Ord:
376  match order:
377    case Lt{}:
378      Gt{}
379    case Gt{}:
380      Lt{}
381    case Eq{}:
382      Eq{}