android :: MediaPlayer :: pause
REQUIRE self.sound != null
self.sound != null
# Pauses playback # REQUIRE `self.sound != null` fun pause do if self.error != null then return assert sound != null nmedia_player.pause end