∀ («from» : Lean.Lsp.CallHierarchyItem) (fromRanges : Array Lean.Lsp.Range) (from_1 : Lean.Lsp.CallHierarchyItem)
  (fromRanges_1 : Array Lean.Lsp.Range),
  ({ «from» := «from», fromRanges := fromRanges } = { «from» := from_1, fromRanges := fromRanges_1 }) =
    («from» = from_1 ∧ fromRanges = fromRanges_1)