∀ (item : Lean.Lsp.LeanImport) (children : Array Lean.Lsp.Ipc.ModuleHierarchy) (item_1 : Lean.Lsp.LeanImport)
  (children_1 : Array Lean.Lsp.Ipc.ModuleHierarchy),
  ({ item := item, children := children } = { item := item_1, children := children_1 }) =
    (item = item_1 ∧ children = children_1)