Plasma GitLab Archive
Projects Blog Knowledge

Class Uq_transfer.pseudo_async_out_channel

class pseudo_async_out_channel : #Netchannels.raw_out_channel -> async_out_channel

Takes a Netchannels.raw_out_channel as an asynchronous channel. It is always possible to output to this channel.


This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml