//
//------------------ DOK FILE --------------------------------------------------
+Header	core.util.gzip
=pkg	core.util.gzip
=title	core.util.gzip
=short	*.gz files
=desc	This library handles *.gz files: creation and extraction.
//
//
//------------------ PROTO ----------------------------------------------------- strFromGzip
+Proto	strFromGzip
=type	fun Str -> Str
=mode	function
=pkg	core.util.gzip
=impl	mcy
=link	
=desc	This function decompresses the content of a *.gz file
//
+arg	src
=type	Str
=desc	The binary string from a *.gz file
//
+arg	result
=type	Str
=desc	The decompressed content
//
//
//------------------ PROTO ----------------------------------------------------- gzipFromStr
+Proto	gzipFromStr
=type	fun Str -> Str
=mode	function
=pkg	core.util.gzip
=impl	mcy
=link	
=desc	This function compresses src to a string ready to be saved as a *.gz file
//
+arg	src
=type	Str
=desc	Any string
//
+arg	result
=type	Str
=desc	The compressed string