Plasma GitLab Archive
Projects Blog Knowledge

Previous  Up  Next

Class Uq_engines.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