Jacket
Search the docs
/
API
Tools
Playground
main
Sound_Player module
← Sound_Player
Vorbis
get_compressed_rate_channels_and_size
start_vorbis_file
create_ogg_decoder
deinit_proc_ogg
make_page_ogg
recompute_page_ogg
On this page
See also
std
/
Sound_Player
/
deinit_proc_ogg
deinit_proc_ogg
procedure
Source
deinit_proc_ogg
:: (decoder: *
Cached_Decoder
)
Parameters
decoder
:
*
Cached_Decoder
See also
start_vorbis_file
create_ogg_decoder
make_page_ogg
recompute_page_ogg
Jacket
Jacket