def step
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
177def step(+operation: Operation, +plan: Shape.BroadcastPlan, +index: U32, state: State<Shape.output_shape(plan)>) ->
178 Step<Shape.output_shape(plan)>:
179 step_indices(operation, Shape.output_shape(plan), index, state, input_indices(plan, index))
Uses (8)
Used by (10)
- bendtorch-core@0.1.0.0/src/tensor/elementwise:StepCertificate
- bendtorch-core@0.1.0.0/src/tensor/elementwise:natural_step_decided
- bendtorch-core@0.1.0.0/src/tensor/elementwise_PROOF:natural_decided_retains
- bendtorch-core@0.1.0.0/src/tensor/core_PROOF:converted_step_certificate
- bendtorch-core@0.1.0.0/src/tensor/core_PROOF:step_indices_certificate
- …