Layout.WordsValid: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layout
Lines 210-217 of bendtorch-core@0.1.0.0/src/tensor/layout.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/tensor/layout.bend&start_line=210&end_line=217

import Base

def WordsValid(dims: List<&2, U32>, coordinates: List<&2, U32>) -> Data:
  match dims coordinates:
    case Nil{} Nil{}:
      Unit
    case dh <> dt ch <> ct:
      WordsValidStep<dh, dt, ch, ct>
    case _ _:
      Empty

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/layout.bend&name=WordsValidStep