{Γ : Type u_1} →
  {Λ : Type u_2} →
    {σ : Type u_3} →
      (n : ℕ) →
        (List.Vector Bool n → Turing.TM1.Stmt Bool (Turing.TM1to1.Λ' Γ Λ σ) σ) →
          Turing.TM1.Stmt Bool (Turing.TM1to1.Λ' Γ Λ σ) σ