src/math/pow2.bend checks
raw source on the hub · import bend-collections-laws-math@1.0.0.0/src/math/pow2.bend as Pow2
1 import
import Base
Definitions
def go source · line 11 · raw
@d:Nat -> @acc:Nat -> Nat
def pow2t source · line 18 · raw
@+d:Nat -> Nat