law word_cmp_refl

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

import Base

48law word_cmp_refl:
49  for +n: Nat
50  for +a: Word(n)
51  {Word.cmp(n, a, a) == EQ{} : Cmp}