def cap_step

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

import Base

573def cap_step(r: Nat & Nat, +n: Nat) -> Nat & Nat:
574  match r:
575    case Tuple{+d, +p}:
576      cap_pick(leb(n, p), d, p)