def logical_length

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

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

7def logical_length(storage: Storage.Storage) -> Nat:
8  match storage:
9    case Storage.Empty{}:
10      0n
11    case Storage.Owned{d, n, array, balanced, valid}:
12      n