Mathlib.Tactic.Translate.TranslateData →
  Lean.Name →
    Lean.Name →
      Mathlib.Tactic.Translate.Config →
        Lean.MetaM (Mathlib.Tactic.Translate.Reorder × Mathlib.Tactic.Translate.RelevantArg)