∀ (info subexprPos : Lean.Json) (diffStatus? : Option Lean.Json) (info_1 subexprPos_1 : Lean.Json)
  (diffStatus?_1 : Option Lean.Json),
  ({ info := info, subexprPos := subexprPos, diffStatus? := diffStatus? } =
      { info := info_1, subexprPos := subexprPos_1, diffStatus? := diffStatus?_1 }) =
    (info = info_1 ∧ subexprPos = subexprPos_1 ∧ diffStatus? = diffStatus?_1)