∀ {ctx : Lean.Elab.ContextInfo} {info : Lean.Elab.Info} {children : Lean.PersistentArray Lean.Elab.InfoTree}
  {ctx_1 : Lean.Elab.ContextInfo} {info_1 : Lean.Elab.Info} {children_1 : Lean.PersistentArray Lean.Elab.InfoTree},
  { ctx := ctx, info := info, children := children } = { ctx := ctx_1, info := info_1, children := children_1 } →
    ctx = ctx_1 ∧ info = info_1 ∧ children = children_1