~/jendhub

def pow2t

bend-collections-laws-math@1.0.0.0 · src/math/pow2.bend:18

import bend-collections-laws-math@1.0.0.0/src/math/pow2.bend as Pow2
import Base

18def pow2t(+d: Nat) -> Nat:
19  go(d, 1n)

Uses (2)

Used by (12)