def strided_offset
import bendtorch-core@0.1.0.0/src/autograd/reduce.bend as Reduceimport Base
116def strided_offset(+step: Nat, +base: Nat, +digit: Nat, +lift: Nat) -> Nat:
117 Nat.add(Nat.add(base, Nat.mul(step, digit)), lift)
Uses (3)
Used by (7)
- bendtorch-core@0.1.0.0/src/autograd/reduce:strided
- bendtorch-core@0.1.0.0/src/autograd/reduce:strided_run
- bendtorch-core@0.1.0.0/src/autograd/reduce_parallel_proof:fiber_step
- bendtorch-core@0.1.0.0/src/autograd/reduce_parallel_proof:run_fiber
- bendtorch-core@0.1.0.0/src/autograd/reduce_parallel_proof:strided_fiber
- …