law Word.cmp_refl

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

import Base

228law Word.cmp_refl:
229  for +n: Nat
230  for a: Word(n)
231  {EQ{} == Word.cmp(n, a, a) : Cmp}