The standard library mailqueue package implements unbounded-length thread-to-thread message queues.
The mailqueue package implements the Mailqueue API.
The mailqueue package source code is in src/lib/src/lib/thread-kit/src/core-thread-kit/mailqueue.pkg.
The above information is manually maintained and may contain errors.
api { Mailqueue X = ...;
make_mailqueue : Void -> Mailqueue(X );
same_mailqueue : (Mailqueue(X ) , Mailqueue(X )) -> Bool;
put_in_mailqueue : (Mailqueue(X ) , X) -> Void;
take_from_mailqueue : Mailqueue(X ) -> X;
take_from_mailqueue' : Mailqueue(X ) -> Mailop(X );
nonblocking_take_from_mailqueue : Mailqueue(X ) -> Null_Or(X );
mailqueue_length : Mailqueue(X ) -> Int;
mailqueue_to_string : Mailqueue(X ) -> String;
reset_mailqueue : Mailqueue(X ) -> Void;
};