∀ {element : Lean.Language.Snapshot} {children : Array (Lean.Language.SnapshotTask Lean.Language.SnapshotTree)}
  {element_1 : Lean.Language.Snapshot} {children_1 : Array (Lean.Language.SnapshotTask Lean.Language.SnapshotTree)},
  { element := element, children := children } = { element := element_1, children := children_1 } →
    element = element_1 ∧ children = children_1