def words_same

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

import Base

189def words_same(a: List<&2, U32>, b: List<&2, U32>) -> Bool:
190  match a b:
191    case Nil{} Nil{}:
192      True{}
193    case ah <> at bh <> bt:
194      Bool.and(word_value_same(ah, bh), words_same(at, bt))
195    case _ _:
196      False{}