chickadee » z3 » z3:decode-init

z3:decode-initprocedure

Initialize an in-memory RFC1951 decompression and return a z3 handle for it.