def pow2

bend-collections-laws-math@1.0.0.0 · proofs/math/proof.bend:65

import Base
import bend-collections-laws-math@1.0.0.0/proofs/math/pow2/pow2.bend as P2
import bend-collections-laws-math@1.0.0.0/spec/math/pow2.bend as SP

65# pow2
66def pow2(+d: Nat) -> SP.Pow2t.value(d):
67  P2.same(d)