The standard library Template_Pthread api provides a clone-and-mutate template for defining new dedicated server pthreads.
The Template_Pthread api is implemented by the template_pthread package.
The Template_Pthread api source code is in src/lib/std/src/pthread/template-pthread.api.
The above information is manually maintained and may contain errors.
api { is_running : Void -> Bool;
start : String -> Bool;
Do_Stop = {reply:Void -> Void, who:String};
stop : Do_Stop -> Void;
Do_Echo = {reply:String -> Void, what:String};
echo : Do_Echo -> Void;
};