def set_time(self, i_time):
        return libvlc_media_player_set_time(self, i_time)
For a one-bit in-place right circular shift
dataset/ETHPy150Open disqus/playa/playa/lib/vlc.py/MediaPlayer.set_time--crossover with--dataset/ETHPy150Open networkdynamics/zenlib/src/zen/util/bitvector.py/BitVector.circular_rotate_right_by_one