def words_same_refl

bendtorch-core@0.1.0.0 · src/tensor/permutation_mapping.bend:561

import Base
import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layout

561def words_same_refl(+values: List<&2, U32>) -> {Layout.words_same(values, values) == True{} : Bool}:
562  match values:
563    case Nil{}:
564      {==}
565    case +head <> +tail:
566      %Equal.sym(Bool, Layout.word_value_same(head, head), True{}, word_value_same_refl(head)) :
567        {Bool.and(_, Layout.words_same(tail, tail)) == True{} : Bool}
568      words_same_refl(tail)