def storage_read_model

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

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

228def storage_read_model(original: Storage.Storage, +index: U32) -> StorageReadModel<original, index>:
229  match original:
230    case Storage.Empty{}:
231      StorageReadModel{{==}}
232    case Storage.Owned{+depth, +length, array, balanced, valid}:
233      read_checked_storage(depth, length, array, index, balanced, valid,
234        read_checked_model(depth, length, array, index, Nat.is_lt(U32.to_nat(index), length), {==}, balanced, valid))