def input_indices
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwiseimport Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
130def input_indices(+plan: Shape.BroadcastPlan, index: U32) -> Result<&2, &1, Core.Error, U32 & U32>:
131 flat_input_indices(plan, Shape.flat_checked(Shape.output_shape(plan), U32.to_nat(index)))
Uses (9)
Used by (19)
- bendtorch-core@0.1.0.0/src/tensor/elementwise:expected
- bendtorch-core@0.1.0.0/src/tensor/elementwise:step
- bendtorch-core@0.1.0.0/src/tensor/projection_LAWS:input_indices_refines
- bendtorch-core@0.1.0.0/src/tensor/core_PROOF:step_certificate
- bendtorch-core@0.1.0.0/src/tensor/elementwise_PROOF:indices_success
- …