devkit

Development kit - general purpose library
IN THIS PACKAGE
Module Devkit_core . Gzip_io
val input : IO.input -> IO.input
val output : 'a IO.output -> 'b IO.output
val input_ch : in_channel -> IO.input
val output_ch : out_channel -> unit IO.output
val string : string -> string
val to_string : string -> string