law compare_equal_low_bits

stelliferous@0.0.2.0 · proofs/word_power_of_two.bend:207

import Base

207law compare_equal_low_bits:
208  for +comparison: Cmp
209  {Word.cmp.fin(False{},False{},comparison) == comparison : Cmp}