The standard library Process_Result api defines support functionality for the process_deathwatch package.
The Process_Result api is implemented by the process_result package.
The Process_Result api source code is in src/lib/std/src/threadkit/process-result.api.
See also: Process_Deathwatch api.
The above information is manually maintained and may contain errors.
api {
Threadkit_Process_Result X;
make_threadkit_process_result : Void -> Threadkit_Process_Result(X );
put : (Threadkit_Process_Result(X ) , X) -> Void;
put_exception : (Threadkit_Process_Result(X ) , Exception) -> Void;
get : Threadkit_Process_Result(X ) -> X;
get_mailop : Threadkit_Process_Result(X ) -> Mailop(X );};