law Numeric.word_cmp_refl

gralha-bendquest@0.1.0.0 · numeric.bend:320

import Base

320law Numeric.word_cmp_refl:
321  for +n: Nat
322  for +word: Word(n)
323  {Word.cmp(n, word, word) == EQ{} : Cmp}