
thread_cancel(+Thread)

   Makes Thread exit at the next opportunity

Arguments
   Thread              A DTR-thread handle or alias

Type
   library(threads)

Description

    Equivalent to engine_post(Thread, exit(3)) plus deletion of
    Thread's alias.


Modes and Determinism
   thread_cancel(+) is det

See Also
   engine_post / 2
