Io module

Pipe_Stream

structSource

One end of a pipe made by make_pipe.

Fields

inbound: *Pipe_Half
outbound: *Pipe_Half
closed: bool

See also