def words_finish

bendtorch-core@0.1.0.0 · src/tensor/layout.bend:219

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

219def words_finish(-dimension: U32, -dt: List<&2, U32>, -coordinate: U32, -ct: List<&2, U32>,
220  bound: {True{} == U32.is_lt(coordinate, dimension) : Bool}, result: Result<&2, &2, Shape.Error, WordsValid(dt, ct)>) ->
221  Result<&2, &2, Shape.Error, WordsValid(dimension <> dt, coordinate <> ct)>:
222  match result:
223    case Fail{error}:
224      Fail{error}
225    case Done{tail}:
226      Done{WStep{bound, tail}}