type WordsValidStep

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

import Base

207type WordsValidStep<-dimension: U32, -dt: List<&2, U32>, -coordinate: U32, -ct: List<&2, U32>> is Data:
208  WStep{bound: {True{} == U32.is_lt(coordinate, dimension) : Bool}, tail: WordsValid(dt, ct)}