type StorageReadKeeps

bendtorch-core@0.1.0.0 · src/tensor/lifecycle.bend:274

import bendtorch-core@0.1.0.0/src/tensor/lifecycle.bend as Lifecycle

import Base
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage

274type StorageReadKeeps<-original: Storage.Storage, -index: U32> is Data:
275  StorageReadKeeps{-kept: @+other: U32 ->
276    {retained_observe(Storage.get(original, index), other) == checked_observe(original, other) : Maybe<&2, F32>}}

Uses (7)

Used by (4)