def WordsValid

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

import Base

210def WordsValid(dims: List<&2, U32>, coordinates: List<&2, U32>) -> Data:
211  match dims coordinates:
212    case Nil{} Nil{}:
213      Unit
214    case dh <> dt ch <> ct:
215      WordsValidStep<dh, dt, ch, ct>
216    case _ _:
217      Empty