type Shape

bendtorch-core@0.1.0.0 · src/shape/core.bend:614

import Base

614type Shape is Data:
615  SShape{dimensions: List<&2, U32>, size: Nat, exact: {size == logical_numel(dimensions) : Nat}, rank_bound: LE(rank_dimensions(dimensions), 4n), capacity_bound: LE(logical_numel(dimensions), 1048576n)}