type Tensor
bendtorch-core@0.1.0.0 · src/tensor/core.bend:13
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage
import bendtorch-core@0.1.0.0/src/tensor/lifecycle.bend as Lifecycle
13type Tensor<-shape: Shape.Shape> is Type:
14 TTensor{storage: Storage.Storage,
15 -length_exact: {Lifecycle.logical_length(storage) == Shape.logical_numel(Shape.dimensions(shape)) : Nat}}