def read_index
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmulimport Base
434def read_index(+order: Order, +inner: Nat, +outers: Nat, +outer: Nat, +k: Nat) -> U32:
435 U32.from_nat(read_offset(order, inner, outers, outer, k))
Uses (5)
Used by (13)
- bendtorch-core@0.1.0.0/src/tensor/contracts/LAWS:product_factors
- bendtorch-core@0.1.0.0/src/tensor/contracts/product_parallel_proof:fold_from
- bendtorch-core@0.1.0.0/src/tensor/contracts/product_parallel_proof:fold_factors
- bendtorch-core@0.1.0.0/src/tensor/matmul:product_dot
- bendtorch-core@0.1.0.0/src/autograd/tensor_vjp_PROOF:frozen_factors
- …