∀ (toWidgetInstance : Lean.Widget.WidgetInstance) (range? : Option Lean.Lsp.Range) (name? : Option String)
  (toWidgetInstance_1 : Lean.Widget.WidgetInstance) (range?_1 : Option Lean.Lsp.Range) (name?_1 : Option String),
  ({ toWidgetInstance := toWidgetInstance, range? := range?, name? := name? } =
      { toWidgetInstance := toWidgetInstance_1, range? := range?_1, name? := name?_1 }) =
    (toWidgetInstance = toWidgetInstance_1 ∧ range? = range?_1 ∧ name? = name?_1)