def dynamic_observe
import bendtorch-core@0.1.0.0/src/tensor/transforms.bend as Transformsimport Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
283def dynamic_observe(dynamic: Core.Dynamic, index: U32) -> Maybe<&2, F32>:
284 Core.Packed{shape, tensor} = dynamic
285 Core.observe(shape, tensor, index)
Uses (5)
Used by (6)
- bendtorch-core@0.1.0.0/src/tensor/transforms:ReshapeOutput
- bendtorch-core@0.1.0.0/src/tensor/transforms:PermuteOutput
- bendtorch-core@0.1.0.0/src/tensor/transforms:RestoredOutput
- bendtorch-core@0.1.0.0/src/tensor/transform_LAWS:reshape_linear_order
- bendtorch-core@0.1.0.0/src/tensor/transform_PROOF:restore_dynamic_model
- …