law fin_swap

bend-lawful-stdlib@0.1.0.0 · src/float/f32.bend:245

import Base

245law fin_swap:
246  for c: Cmp
247  for x: Bool
248  for y: Bool
249  {swap(Word.cmp.fin(x, y, c)) == Word.cmp.fin(y, x, swap(c)) : Cmp}