def pow2

import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitset

import Base

137# 2^d.
138def pow2(d: Nat) -> Nat:
139  match d:
140    case 0n:
141      1n
142    case 1n+p:
143      Nat.double(pow2(p))

Uses (2)

No other definition uses this definition.