The standard library Simple_Rpc api defines a simple facility to do remote-procedure-call style interaction between Mythryl threads. (This has nothing to do with posix threads, posix interprocess communication or computations distributed over the Internet.)
The Simple_Rpc api is implemented by the simple_rpc package.
The Simple_Rpc api source code is in src/lib/src/lib/thread-kit/src/lib/simple-rpc.api.
The above information is manually maintained and may contain errors.
api {
Mailop X = Mailop(X );
make_rcp : (X -> Y) -> {call:X -> Y, entry_mailop:Mailop(Void )};
make_rcp_in : ((X , Z) -> Y) -> {call:X -> Y, entry_mailop:Z -> Mailop(Void )};
make_rcp_out : (X -> (Y , Z)) -> {call:X -> Y, entry_mailop:Mailop(Z )};
make_rcp_in_out : ((X , Z) -> (Y , A)) -> {call:X -> Y, entry_mailop:Z -> Mailop(A )};};