This library provides convenient functions for piping input and output
channels with strings and buffers. See redirect.mli for details.
This library provides convenient functions for piping input and output
channels with strings and buffers. See redirect.mli for details.