~/jendhub

def pow2

bend-ml-tensor-array@0.1.19.0 · main.bend:557

import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray
import Base

557def pow2(d: Nat) -> Nat:
558  match d:
559    case 0n:
560      1n
561    case 1n++q:
562      # bend-lint: disable-next bend-lint-rules/performance/repeated_call -- pow2 appears only in proofs' types not-expected-because: the package never runs it (NOTES 2026-10-17)
563      Nat.add(pow2(q), pow2(q))

Uses (2)

Used by (11)