Jacket
Search the docs
/
API
Tools
Playground
main
Zip_File_Directory module
← Zip_File_Directory
Types
Zip_Entry
Zip_Directory
On this page
Fields
See also
std
/
Zip_File_Directory
/
Zip_Directory
Zip_Directory
struct
Source
The list of files in a zip archive, read without extracting anything.
Fields
name
:
:= ""
entries
:
[..]
Zip_Entry
memory_block
:
string
file
:
File
See also
Zip_Entry