∀ (type : Lean.Widget.TaggedText Lean.Server.Test.Runner.Client.SubexprInfo) (names : Array String)
  (fvarIds : Array Lean.FVarId) (val? : Option (Lean.Widget.TaggedText Lean.Server.Test.Runner.Client.SubexprInfo))
  (isInstance? isType? isInserted? isRemoved? : Option Bool)
  (type_1 : Lean.Widget.TaggedText Lean.Server.Test.Runner.Client.SubexprInfo) (names_1 : Array String)
  (fvarIds_1 : Array Lean.FVarId) (val?_1 : Option (Lean.Widget.TaggedText Lean.Server.Test.Runner.Client.SubexprInfo))
  (isInstance?_1 isType?_1 isInserted?_1 isRemoved?_1 : Option Bool),
  ({ type := type, names := names, fvarIds := fvarIds, val? := val?, isInstance? := isInstance?, isType? := isType?,
        isInserted? := isInserted?, isRemoved? := isRemoved? } =
      { type := type_1, names := names_1, fvarIds := fvarIds_1, val? := val?_1, isInstance? := isInstance?_1,
        isType? := isType?_1, isInserted? := isInserted?_1, isRemoved? := isRemoved?_1 }) =
    (type = type_1 ∧
      names = names_1 ∧
        fvarIds = fvarIds_1 ∧
          val? = val?_1 ∧
            isInstance? = isInstance?_1 ∧ isType? = isType?_1 ∧ isInserted? = isInserted?_1 ∧ isRemoved? = isRemoved?_1)