def capacity

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

import Base

599def capacity(+dims: List<&2, Nat>) -> Capacity<dims>:
600  match dims:
601    case Nil{}:
602      Within{1n, {==}, {==}}
603    case +head <> tail:
604      capacity.step(head, tail, capacity(tail))