def read_owner
import bendtorch-core@0.1.0.0/src/tensor/elementwise_PROOF.bend as ElementwisePROOFimport Base
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage
25def read_owner(pair: Storage.Storage & Result<&2, &2, Storage.Error, F32>) -> Storage.Storage:
26 (owner, result) = pair
27 owner
Uses (6)
Used by (5)
- bendtorch-core@0.1.0.0/src/tensor/elementwise_PROOF:core_read_projection
- bendtorch-core@0.1.0.0/src/tensor/elementwise_PROOF:finish_read_inspect
- bendtorch-core@0.1.0.0/src/tensor/elementwise_PROOF:owned_read_property
- bendtorch-core@0.1.0.0/src/tensor/elementwise_PROOF:read_checked_inspect
- bendtorch-core@0.1.0.0/src/tensor/elementwise_PROOF:read_hit_inspect