__field_operator_solve_tridiag(
  __sym_1,
  __sym_2,
  __sym_3,
  __sym_4,
  out,
  ____sym_1_size_0,
  ____sym_1_size_1,
  ____sym_1_size_2,
  ____sym_2_size_0,
  ____sym_2_size_1,
  ____sym_2_size_2,
  ____sym_3_size_0,
  ____sym_3_size_1,
  ____sym_3_size_2,
  ____sym_4_size_0,
  ____sym_4_size_1,
  ____sym_4_size_2,
  __out_size_0,
  __out_size_1,
  __out_size_2
) {
  out ← (
      λ(a, b, c, d) → 
        (λ(__tuple_tmp_0) → 
           scan(λ(x_kp1, cp, dp) → ·dp - ·cp × x_kp1, False, 0.0)(
             (↑(λ(__arg0) → (·__arg0)[0]))(__tuple_tmp_0), (↑(λ(__arg0) → (·__arg0)[1]))(__tuple_tmp_0)
           ))(
          (↑(λ(__arg0, __arg1, __arg2, __arg3) → 
               scan(λ(state, a, b, c, d) → {·c / (·b - ·a × state[0]), (·d - ·a × state[1]) / (·b - ·a × state[0])},
                    True,
                    {0.0, 0.0})(__arg0, __arg1, __arg2, __arg3)))(a, b, c, d)
        )
    )(__sym_1, __sym_2, __sym_3, __sym_4) @ c⟨ IDim: [0, __out_size_0), JDim: [0, __out_size_1), KDim: [0, __out_size_2) ⟩;
}