law Word.cmp_swap

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

import Base

266law Word.cmp_swap:
267  for +n: Nat
268  for a: Word(n)
269  for b: Word(n)
270  {swap(Word.cmp(n, a, b)) == Word.cmp(n, b, a) : Cmp}