law cmp_refl

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/subtle/word.bend:218

import Base

218law cmp_refl:
219  for +n: Nat
220  for +x: Word(n)
221  {Cmp.is_eq(Word.cmp(n, x, x)) == True{} : Bool}