The standard library Mailcaster api defines access to a one-to-many inter-thread communication mechanism.
The Mailcaster api is implemented by the mailcaster package.
The Mailcaster api source code is in src/lib/src/lib/thread-kit/src/lib/mailcaster.api.
The above information is manually maintained and may contain errors.
api {
Mailcaster X;
Readqueue X;
make_mailcaster : Void -> Mailcaster(X );
make_readqueue : Mailcaster(X ) -> Readqueue(X );
clone_readqueue : Readqueue(X ) -> Readqueue(X );
receive : Readqueue(X ) -> X;
receive' : Readqueue(X ) -> Mailop(X );
transmit : (Mailcaster(X ) , X) -> Void;};