[Mick]

Supposedly, she will play in the 2023 U. S. Women's Open at Pebble Beach, then will formally retire.

What does formally retiring from golf mean? 
Do you have to sign up for retirement benefits, or does it just involve sending a statement to the media that you don't intend to play anymore?

Means you're out for good.  No more playing in the occasional U.S. Open.  Of course, every time she gets out, they try to pull her back in...

[Mick]

Supposedly, she will play in the 2023 U. S. Women's Open at Pebble Beach, then will formally retire.

What does formally retiring from golf mean? 
Do you have to sign up for retirement benefits, or does it just involve sending a statement to the media that you don't intend to play anymore?

Means you're out for good.  No more playing in the occasional U.S. Open.  Of course, every time she gets out, they try to pull her back in...