Lean.NameMapExtension (List ℕ) →
  Lean.NameMapExtension Bool →
    Option Mathlib.Tactic.UnfoldBoundary.UnfoldBoundaryExt →
      Lean.NameMapExtension Mathlib.Tactic.Translate.TranslationInfo →
        Lean.Name → Bool → Bool → Mathlib.Tactic.GuessName.GuessNameData → Mathlib.Tactic.Translate.TranslateData