class decoding_pipe : unit -> Netchannels.pipe
unit ->
Netchannels.pipe
This pipe decodes the data written into the pipe.