def first_length

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

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

65def first_length(pair: Storage.Storage & Storage.Storage) -> Nat:
66  (first, second) = pair
67  logical_length(first)