Link to user’s profile settings page?

I’m trying to figure out how to link a logged-in user to his profile settings, but I can’t seem to find a function that generates this link (like wp_settings_url() or wp_profile_url())
Is there a default function for this?

The user edit page of the current user is /wp-admin/profile.php, so you can just do admin_url( 'profile.php' ), which is the way it is used in the WP source code.