type StorageReadModel

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

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

218type StorageReadModel<-original: Storage.Storage, -index: U32> is Data:
219  StorageReadModel{-meaning: {read_value(Storage.get(original, index)) == checked_observe(original, index) : Maybe<&2, F32>}}

Uses (7)

Used by (4)