(motive : Option Mathlib.Tactic.Translate.TranslationInfo → Sort u_1) →
  (__discr : Option Mathlib.Tactic.Translate.TranslationInfo) →
    ((n₁ : Lean.Name) →
        (reorder : Mathlib.Tactic.Translate.Reorder) →
          (relevantArg : Mathlib.Tactic.Translate.RelevantArg) →
            motive (some { translation := n₁, reorder := reorder, relevantArg := relevantArg })) →
      ((x : Option Mathlib.Tactic.Translate.TranslationInfo) → motive x) → motive __discr