def Pow2t.value

bend-collections-laws-math@1.0.0.0 · spec/math/pow2.bend:11

import Base
import bend-collections-laws-math@1.0.0.0/spec/lib/common.bend as C
import bend-collections-laws-math@1.0.0.0/src/math/pow2.bend as P

11def Pow2t.value(+d: Nat) -> Type:
12  {P.pow2t(d) == C.pow2(d) : Nat}