law decrement_power

stelliferous@0.0.2.0 · proofs/word_power_of_two.bend:102

import Base

102law decrement_power:
103  for +width: Nat
104  for +depth: Nat
105  {Word.adc(width,power(width,depth),Word.zero(width),True{},False{}) == mask(width,depth) : Word(width)}