def pw

bendtorch@1.3.0.0 · spec.bend:157

import Base

157# 2^p
158def pw(p: Nat) -> Nat:
159  match p:
160    case 0n:
161      1n
162    case 1n+q:
163      +h = pw(q)
164      Nat.add(h, h)