src/math/pow2.bend checks
raw source on the hub · import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/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