law compare_zero

stelliferous@0.0.2.0 · proofs/word_power_of_two.bend:174

import Base

174law compare_zero:
175  for +width: Nat
176  {Word.cmp(width,Word.zero(width),Word.zero(width)) == EQ{} : Cmp}