law native_power

stelliferous@0.0.2.0 · proofs/word_power_of_two.bend:67

import Base

67law native_power:
68  for +depth: Nat
69  {U32.shln(1,depth) == U32{power(32n,depth)} : U32}