def pw

import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/sized.bend as Sized

import Base

36def pw(k: Nat) -> Nat:
37  match k:
38    case 0n:
39      1n
40    case 1n+p:
41      Nat.double(pw(p))

Uses (2)