bend-collections@1.0.0.0 · src/math/pow2.bend:18
import bend-collections@1.0.0.0/src/math/pow2.bend as Pow2
import Base 18def pow2t(+d: Nat) -> Nat: 19 go(d, 1n)