def read_dynamic
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Coreimport Base
448def read_dynamic(dynamic: Dynamic, index: U32) -> Dynamic & Result<&2, &2, Error, F32>:
449 Packed{+shape, tensor} = dynamic
450 read_dynamic_result(shape, read_flat(shape, tensor, index))
Uses (8)
Used by (67)
- bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise_proof:replayed_point
- bendtorch-core@0.1.0.0/src/autograd/gradient:step
- bendtorch-core@0.1.0.0/src/tensor/core:DynamicSourceRead
- bendtorch-core@0.1.0.0/src/tensor/elementwise:step_left
- bendtorch-core@0.1.0.0/src/autograd/tensor_backward_LAWS:sole_point
- …