Commit 794dd5ff authored by POTTIER Francois's avatar POTTIER Francois

Removed exhaust from IO.mli.

parent 64d295e2
(* Input-output utilities. *)
(* ------------------------------------------------------------------------- *)
(* [exhaust channel] reads all of the data that's available on [channel]. *)
(* [exhaust channel] reads all of the data that's available on [channel].
It does not assume that the length of the data is known ahead of time. *)
let chunk_size =
2048
......
(* Input-output utilities. *)
(* [exhaust channel] reads all of the data that's available on [channel]. *)
val exhaust: in_channel -> string
(* [invoke command] invokes an external command (which expects no input)
and returns its output, if the command succeeds. It returns [None] if
the command fails. *)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment