This library provides convenient functions for piping input and output
channels with strings and buffers. See redirect.mli for details.
thierry-martinez/redirect
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This library provides convenient functions for piping input and output
channels with strings and buffers. See redirect.mli for details.