sS renderZipEntriesWithCompressedSizes(S zip) { ret renderZipEntriesWithCompressedSizes(newFile(zip)); } sS renderZipEntriesWithCompressedSizes(File zip) { ret renderZipEntriesWithCompressedSizes(listZipEntries(zip)); } sS renderZipEntriesWithCompressedSizes(L entries) { ret asciiTable(ll("Compressed", "Uncompressed", "File"), map(func(ZipEntry e) -> LS { ll(toK_str(e.getCompressedSize()), toK_str(e.getSize()), e.getName()) }, entries)); }