def second_length

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

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

69def second_length(pair: Storage.Storage & Storage.Storage) -> Nat:
70  (first, second) = pair
71  logical_length(second)

Uses (5)

Used by (9)