∀ {position : String.Pos.Raw} {label : Lean.Elab.InlayHintLabel} {kind? : Option Lean.Elab.InlayHintKind}
  {textEdits : Array Lean.Elab.InlayHintTextEdit} {tooltip? : Option String} {paddingLeft paddingRight : Bool}
  {position_1 : String.Pos.Raw} {label_1 : Lean.Elab.InlayHintLabel} {kind?_1 : Option Lean.Elab.InlayHintKind}
  {textEdits_1 : Array Lean.Elab.InlayHintTextEdit} {tooltip?_1 : Option String} {paddingLeft_1 paddingRight_1 : Bool},
  { position := position, label := label, kind? := kind?, textEdits := textEdits, tooltip? := tooltip?,
        paddingLeft := paddingLeft, paddingRight := paddingRight } =
      { position := position_1, label := label_1, kind? := kind?_1, textEdits := textEdits_1, tooltip? := tooltip?_1,
        paddingLeft := paddingLeft_1, paddingRight := paddingRight_1 } →
    position = position_1 ∧
      label = label_1 ∧
        kind? = kind?_1 ∧
          textEdits = textEdits_1 ∧ tooltip? = tooltip?_1 ∧ paddingLeft = paddingLeft_1 ∧ paddingRight = paddingRight_1