∀ (srcNat : ℕ) (srcEndPos : String.Pos.Raw) (fmtPos : ℕ) (msg : String) (length : ℕ) (srcStartPos : String.Pos.Raw)
  (srcNat_1 : ℕ) (srcEndPos_1 : String.Pos.Raw) (fmtPos_1 : ℕ) (msg_1 : String) (length_1 : ℕ)
  (srcStartPos_1 : String.Pos.Raw),
  ({ srcNat := srcNat, srcEndPos := srcEndPos, fmtPos := fmtPos, msg := msg, length := length,
        srcStartPos := srcStartPos } =
      { srcNat := srcNat_1, srcEndPos := srcEndPos_1, fmtPos := fmtPos_1, msg := msg_1, length := length_1,
        srcStartPos := srcStartPos_1 }) =
    (srcNat = srcNat_1 ∧
      srcEndPos = srcEndPos_1 ∧ fmtPos = fmtPos_1 ∧ msg = msg_1 ∧ length = length_1 ∧ srcStartPos = srcStartPos_1)