def stored
import bendtorch-core@0.1.0.0/src/tensor/contracts/replayed.bend as Replayedimport Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
25def stored(-shape: Shape.Shape, tensor: Core.Tensor<shape>) -> Storage.Storage:
26 Core.TTensor{storage, valid} = tensor
27 storage