~/bend-docscommunity

spec/math/pow2.bend checks

raw source on the hub · import bend-collections-laws-math@1.0.0.0/spec/math/pow2.bend as Pow2

3 imports
import Base
import ../lib/common.bend as C
import ../../src/math/pow2.bend as P

Definitions

def Pow2t.value source · line 11 · raw

@+d:Nat -> Type