def storage_read_keeps

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

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

285def storage_read_keeps(original: Storage.Storage, +index: U32) -> StorageReadKeeps<original, index>:
286  match original:
287    case Storage.Empty{}:
288      StorageReadKeeps{other => {==}}
289    case Storage.Owned{+depth, +length, array, balanced, valid}:
290      read_checked_storage_keeps(depth, length, array, index, balanced, valid,
291        read_checked_keeps(depth, length, array, index, Nat.is_lt(U32.to_nat(index), length), {==}, balanced, valid))