(motive : Array (Mathlib.Linter.TextBased.StyleError✝ × ℕ) × Option (Array String) → Sort u_1) →
  (x : Array (Mathlib.Linter.TextBased.StyleError✝¹ × ℕ) × Option (Array String)) →
    ((new_errors : Array (Mathlib.Linter.TextBased.StyleError✝² × ℕ)) →
        (changes : Option (Array String)) → motive (new_errors, changes)) →
      motive x