def reverse_go_cancel

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

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

33def reverse_go_cancel(+values: List<&2, U32>, +accumulator: List<&2, U32>) ->
34  {Layout.reverse_words_go(Layout.reverse_words_go(values, accumulator), Nil{}) ==
35    Layout.reverse_words_go(accumulator, values) : List<&2, U32>}:
36  match values:
37    case Nil{}:
38      {==}
39    case +head <> +tail:
40      reverse_go_cancel(tail, head <> accumulator)