def attach
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Coreimport 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
80def attach(+shape: Shape.Shape, storage: Storage.Storage) -> Result<&2, &1, Error, Tensor<shape>>:
81 attach_length(shape, storage, Storage.length(storage), {==})
Uses (7)
Used by (6)
- bendtorch-core@0.1.0.0/src/tensor/core:new_result
- bendtorch-core@0.1.0.0/src/tensor/allocation_PROOF:attach_length
- bendtorch-core@0.1.0.0/src/tensor/construction_contract_PROOF:attach_length
- bendtorch-core@0.1.0.0/src/tensor/construction_contract_PROOF:attach_point
- bendtorch-core@0.1.0.0/src/tensor/construction_contract_PROOF:attach_value
- …