def retained_read

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

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

14def retained_read(result: Storage.Storage & Result<&2, &2, Storage.Error, F32>) -> Nat:
15  (storage, value) = result
16  logical_length(storage)

Uses (8)

Used by (15)