∀ (position : String.Pos.Raw) (label : Lean.Elab.InlayHintLabel) (kind? : Option Lean.Elab.InlayHintKind)
  (textEdits : Array Lean.Elab.InlayHintTextEdit) (tooltip? : Option String) (paddingLeft paddingRight : Bool),
  sizeOf
      { position := position, label := label, kind? := kind?, textEdits := textEdits, tooltip? := tooltip?,
        paddingLeft := paddingLeft, paddingRight := paddingRight } =
    1 + sizeOf position + sizeOf label + sizeOf kind? + sizeOf textEdits + sizeOf tooltip? + sizeOf paddingLeft +
      sizeOf paddingRight