jacket
Search the docs
/
API
Tools
Playground
0.31.0
Thread module
← Thread
Lifecycle
thread_start
thread_is_done
thread_deinit
On this page
See also
std
/
Thread
/
thread_deinit
thread_deinit
procedure · 1 overload
Source
thread_deinit
:: (thread: *
Thread
)
Parameters
thread
:
*
Thread
See also
thread_start
thread_is_done