Jacket
Search the docs
/
API
Tools
Playground
main
Toolchain module
← Toolchain
Android ZIP wire
zip_decode_version
zip_encode_version
zip_eocd_get_start_of_central_directory_offset
zip_eocd_set_start_of_central_directory_offset
zip_crc32
Kilobytes
Megabytes
On this page
See also
std
/
Android
/
Toolchain
/
zip_decode_version
zip_decode_version
procedure
Source
zip_decode_version
:: (version_word:
u16
) ->
Zip_Version
Parameters
version_word
:
u16
Returns
Zip_Version
See also
zip_encode_version
zip_eocd_get_start_of_central_directory_offset
Jacket
Jacket