def left_index
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmulimport Base
244def left_index(+inner: Nat, +row: Nat, +k: Nat) -> U32:
245 U32.from_nat(Nat.add(Nat.mul(row, inner), k))
Uses (5)
Used by (14)
- bendtorch-core@0.1.0.0/src/tensor/matmul:cell_dot
- bendtorch-core@0.1.0.0/src/tensor/matmul_parallel_proof:ArrStep
- bendtorch-core@0.1.0.0/src/tensor/matmul_parallel_proof:dot_extend
- bendtorch-core@0.1.0.0/src/tensor/matmul_parallel_proof:dot_run
- bendtorch-core@0.1.0.0/src/tensor/contracts/matmul_parallel_proof:dot_eq
- …