libvlc_media_player has these two functions for playback control: libvlc_media_player_set_position and libvlc_media_player_set_time.
What is the difference between them? Do they internally work the same way? Is one of them more accurate than another?