
  0 | module Libraries.Data.Ordering.Extra
  1 | 
  2 | %default total
  3 | 
  4 | export infixl 5 `thenCmp`
  5 | 
  6 | export
  7 | thenCmp : Ordering -> Lazy Ordering -> Ordering
  8 | thenCmp LT _ = LT
  9 | thenCmp EQ o = o
 10 | thenCmp GT _ = GT
 11 |