def retained_is_kept

bendtorch-core@0.1.0.0 · src/tensor/construction_contract_PROOF.bend:124

import Base
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage
import bendtorch-core@0.1.0.0/src/storage/LAWS.bend as StorageLaws
import bendtorch-core@0.1.0.0/src/tensor/lifecycle.bend as Lifecycle

124def retained_is_kept(pair: Storage.Storage & Result<&2, &2, Storage.Error, F32>) ->
125  {Lifecycle.retained_read(pair) == Lifecycle.logical_length(StorageLaws.owner(Result<&2, &2, Storage.Error, F32>, pair)) : Nat}:
126  (storage, result) = pair
127  {==}