write property Null safety

WritePipe write

The write end of the Pipe.

Implementation

WritePipe get write;