def coordinate_checked.finish
bendtorch-core@0.1.0.0 · src/shape/core.bend:671
import bendtorch-core@0.1.0.0/src/shape/core.bend as Core
import Base
671def coordinate_checked.finish(+shape: Shape, +values: List<&2, Nat>, verdict: BoolCase<fit_values(dimensions(shape), values)>) -> Result<&2, &2, Error, CheckedCoordinate<shape>>:
672 match verdict:
673 case BFalse{equal}:
674 Fail{CoordinateOutOfBounds{}}
675 case BTrue{equal}:
676 Done{CValues{values, fit_values_true(dimensions(shape), values, equal)}}