def go

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

import Base

11def go(d: Nat, acc: Nat) -> Nat:
12  match d:
13    case 0n:
14      acc
15    case 1n+p:
16      go(p, Nat.double(acc))

Uses (2)