law Numeric.word_cmp_eq

gralha-bendquest@0.1.0.0 · numeric.bend:396

import Base

396law Numeric.word_cmp_eq:
397  for +n: Nat
398  for +a: Word(n)
399  for +b: Word(n)
400  for +equal: {Word.cmp(n, a, b) == EQ{} : Cmp}
401  {a == b : Word(n)}