def source_index
import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layoutimport Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
303def source_index(-input: Shape.Shape, -axes: List<&2, U32>, -plan: Plan<input, axes>, -i: U32,
304 mapping: Mapping<input, axes, plan, i>) -> U32:
305 Mapped{oi, oc, ic, index, requested, decoded, inverse, flattened, roundtrip} = mapping
306 index_value(input, index)
Uses (6)
Used by (34)
- bendtorch-core@0.1.0.0/src/tensor/transforms:expected_mapped
- bendtorch-core@0.1.0.0/src/tensor/transforms:copy_mapped
- bendtorch-core@0.1.0.0/src/tensor/permute_build_proof:mapped_bound
- bendtorch-core@0.1.0.0/src/tensor/permute_build_proof:mapped_index
- bendtorch-core@0.1.0.0/src/tensor/transform_LAWS:mapped_mathematical_bounded
- …