The standard library Thread_Deathwatch api defines functionality to detect and report unexpected thread terminations.
The Thread_Deathwatch api is implemented by the thread_deathwatch package.
The Thread_Deathwatch api source code is in src/lib/src/lib/thread-kit/src/lib/thread-deathwatch.api.
The above information is manually maintained and may contain errors.
api { logging : Logtree_Node; start_thread_deathwatch : (String , Microthread) -> Void; stop_thread_deathwatch : Microthread -> Void;};