Two connected ends. What one writes the other reads. close both when done (they free
themselves once both are closed).
make_pipe :: () -> (*Pipe_Stream, *Pipe_Stream)Two connected ends. What one writes the other reads. close both when done (they free
themselves once both are closed).