∀ (ignoreArgsAttr : Lean.NameMapExtension (List ℕ)) (doTranslateAttr : Lean.NameMapExtension Bool)
  (unfoldBoundaries? : Option Mathlib.Tactic.UnfoldBoundary.UnfoldBoundaryExt)
  (translations : Lean.NameMapExtension Mathlib.Tactic.Translate.TranslationInfo) (attrName : Lean.Name)
  (changeNumeral isDual : Bool) (guessNameData : Mathlib.Tactic.GuessName.GuessNameData),
  sizeOf
      { ignoreArgsAttr := ignoreArgsAttr, doTranslateAttr := doTranslateAttr, unfoldBoundaries? := unfoldBoundaries?,
        translations := translations, attrName := attrName, changeNumeral := changeNumeral, isDual := isDual,
        guessNameData := guessNameData } =
    1 + sizeOf ignoreArgsAttr + sizeOf doTranslateAttr + sizeOf unfoldBoundaries? + sizeOf translations +
            sizeOf attrName +
          sizeOf changeNumeral +
        sizeOf isDual +
      sizeOf guessNameData