Class ArchiveTraversal.default_archive_folder

class default_archive_folder : Zip.in_file -> archive_folder

The default "folder", that encodes the identity over archives.