- z3:open-compressed-input-file FILENAMEprocedure
Opens a RFC1952 compressed "gzip" input file and returns a port that automatically decompresses the data as it is read.
Opens a RFC1952 compressed "gzip" input file and returns a port that automatically decompresses the data as it is read.