def cap_pick

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

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

import Base

565# smallest power of two >= n, by structural recursion on n: returns (depth, 2^depth)
566def cap_pick(ok: Bool, d: Nat, +p: Nat) -> Nat & Nat:
567  match ok:
568    case True{}:
569      (d, p)
570    case False{}:
571      (1n+d, Nat.add(p, p))

Uses (5)

Used by (2)