∀ (translation : Lean.Name) (reorder : Mathlib.Tactic.Translate.Reorder) (relevantArg : ℕ),
  sizeOf { translation := translation, reorder := reorder, relevantArg := relevantArg } =
    1 + sizeOf translation + sizeOf reorder + sizeOf relevantArg