SINGAPORE, June 12 -- Top leader of the Democratic People's Republic of Korea (DPRK) Kim Jong Un and U.S. President Donald Trump signed a document here Tuesday after their historic summit.

At the signing ceremony, Trump said it was "a very important document, pretty comprehensive document."

For his part, Kim called it "a historic document," saying that the two sides will "leave the past behind" and the world will "see a major change."