def words_decided
bendtorch-core@0.1.0.0 · src/tensor/layout.bend:228
import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layout
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
228def words_decided(+dimension: U32, -dt: List<&2, U32>, +coordinate: U32, -ct: List<&2, U32>,
229 rec: Unit -> Result<&2, &2, Shape.Error, WordsValid(dt, ct)>, decision: Shape.BoolCase<U32.is_lt(coordinate, dimension)>) ->
230 Result<&2, &2, Shape.Error, WordsValid(dimension <> dt, coordinate <> ct)>:
231 match decision:
232 case Shape.BFalse{equal}:
233 Fail{Shape.CoordinateOutOfBounds{}}
234 case Shape.BTrue{equal}:
235 words_finish(dimension, dt, coordinate, ct, equal, rec(Unit{}))