WASHINGTON (AP) — The Latest on congressional reaction to President Donald Trump's summit with Kim Jong Un (all times local):

3 p.m.

President Donald Trump has called Republican senators from Air Force One on the way home from his historic meeting with North Korea's Kim Jong Un.

That's according to Sen. John Barrasso, who said the president sounded "confident and upbeat" during the call Tuesday. The Wyoming Republican told reporters that the world is safer from nuclear war now than before the summit in Singapore.

Senate Majority Leader Mitch McConnell said he hopes any agreement that emerges from the summit takes the form of a treaty that would come before the Senate for a vote.

He said it's still unclear what any such agreement would say, exactly.

They spoke after Vice President Mike Pence appeared for the Senate Republicans' weekly lunch.

__

10:15 a.m.

Republican and Democratic leaders aren't quite celebrating President Donald Trump's historic meeting Tuesday with North Korea's Kim Jong Un. They say the initial agreement they struck won't mean much until the North completely denuclearizes.

Senate Republican leader Mitch McConnell called the meeting a "major first step," in U.S.-North Korea relations, but not a decisive one if North Korea does not follow through.

"The next steps in negotiations will test whether we can get to a verifiable deal," McConnell said on the Senate floor. He added, "We and our allies must be prepared to restore the policy of maximum pressure."

That was echoed by House Speaker Paul Ryan, who said, "Only time will tell if North Korea is serious this time, and in the meantime we must continue to apply maximum economic pressure."

Democrats were openly skeptical, saying Trump had already given up some American leverage by committing to halting U.S. military exercises with treaty ally South Korea.