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