def length_owner

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

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

103def length_owner(pair: Storage.Storage & Nat) -> Nat:
104  (storage, n) = pair
105  logical_length(storage)

Uses (5)

Used by (8)