def pow2
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Binimport Base
179def pow2(n: Nat) -> Bin:
180 shl(one(), n)
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Binimport Base
179def pow2(n: Nat) -> Bin:
180 shl(one(), n)