law word_cmp_eq

bend-osdev-u32@0.1.0.0 · LAWS_order.bend:53

import Base

53law word_cmp_eq:
54  for +n: Nat
55  for +a: Word(n)
56  for +b: Word(n)
57  for e: {Word.cmp(n, a, b) == EQ{} : Cmp}
58  {a == b : Word(n)}