def read_dynamic
import bendtorch-core@0.1.0.0/src/tensor/signed.bend as Signedimport Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
282def read_dynamic(dynamic: Core.Dynamic, index: Position) -> Core.Dynamic & Result<&2, &2, Core.Error, F32>:
283 Core.Packed{+shape, tensor} = dynamic
284 Core.read_dynamic_result(shape, read_flat(shape, tensor, index))