∀ (position : Lean.Lsp.Position) (label : Lean.Lsp.InlayHintLabel) (kind? : Option Lean.Lsp.InlayHintKind)
  (textEdits? : Option (Array Lean.Lsp.TextEdit)) (tooltip? : Option Lean.Lsp.InlayHintTooltip)
  (paddingLeft? paddingRight? : Option Bool) (data? : Option Lean.Json),
  sizeOf
      { position := position, label := label, kind? := kind?, textEdits? := textEdits?, tooltip? := tooltip?,
        paddingLeft? := paddingLeft?, paddingRight? := paddingRight?, data? := data? } =
    1 + sizeOf position + sizeOf label + sizeOf kind? + sizeOf textEdits? + sizeOf tooltip? + sizeOf paddingLeft? +
        sizeOf paddingRight? +
      sizeOf data?