def write_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
286def write_dynamic(dynamic: Core.Dynamic, index: Position, value: F32) -> Core.Dynamic & Result<&2, &2, Core.Error, Unit>:
287 Core.Packed{+shape, tensor} = dynamic
288 Core.write_dynamic_result(shape, write_flat(shape, tensor, index, value))