∀ (originSelectionRange? : Option Lean.Lsp.Range) (targetUri : Lean.Lsp.DocumentUri)
  (targetRange targetSelectionRange : Lean.Lsp.Range) (originSelectionRange?_1 : Option Lean.Lsp.Range)
  (targetUri_1 : Lean.Lsp.DocumentUri) (targetRange_1 targetSelectionRange_1 : Lean.Lsp.Range),
  ({ originSelectionRange? := originSelectionRange?, targetUri := targetUri, targetRange := targetRange,
        targetSelectionRange := targetSelectionRange } =
      { originSelectionRange? := originSelectionRange?_1, targetUri := targetUri_1, targetRange := targetRange_1,
        targetSelectionRange := targetSelectionRange_1 }) =
    (originSelectionRange? = originSelectionRange?_1 ∧
      targetUri = targetUri_1 ∧ targetRange = targetRange_1 ∧ targetSelectionRange = targetSelectionRange_1)