type Capacity

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

import Base

564type Capacity<-dims: List<&2, Nat>> is Data:
565  Within{size: Nat, exact: {size == numel(dims) : Nat}, bound: {True{} == Nat.is_le(size, 1048576n) : Bool}}
566  Beyond{}