∀ (indent : ℕ) (cls : Lean.Name) (msg : Lean.Widget.TaggedText Lean.Server.Test.Runner.Client.MsgEmbed)
  (collapsed : Bool)
  (children :
    Lean.Server.Test.Runner.Client.StrictOrLazy (Array (Lean.Widget.TaggedText Lean.Server.Test.Runner.Client.MsgEmbed))
      Lean.Lsp.RpcRef)
  (indent_1 : ℕ) (cls_1 : Lean.Name) (msg_1 : Lean.Widget.TaggedText Lean.Server.Test.Runner.Client.MsgEmbed)
  (collapsed_1 : Bool)
  (children_1 :
    Lean.Server.Test.Runner.Client.StrictOrLazy (Array (Lean.Widget.TaggedText Lean.Server.Test.Runner.Client.MsgEmbed))
      Lean.Lsp.RpcRef),
  (Lean.Server.Test.Runner.Client.MsgEmbed.trace indent cls msg collapsed children =
      Lean.Server.Test.Runner.Client.MsgEmbed.trace indent_1 cls_1 msg_1 collapsed_1 children_1) =
    (indent = indent_1 ∧ cls = cls_1 ∧ msg = msg_1 ∧ collapsed = collapsed_1 ∧ children = children_1)