def within

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

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

6def within(-dims: List<&2, Nat>, capacity: Shape.Capacity<dims>) -> Bool:
7  match capacity:
8    case Shape.Within{size, exact, bound}:
9      True{}
10    case Shape.Beyond{}:
11      False{}