Io module

Pipe_Stream

structextensionexperimentalSource

One end of a pipe made by make_pipe.

Fields

inbound: *Pipe_Half
outbound: *Pipe_Half
closed: bool

See also