threaded_engine_destroy(Engine)
Stops an engine.
threaded_engine_destroy(@nonvar)
instantiation_error
existence_error(engine, Engine)
worker_1
:threaded_engine_destroy(worker_1)
forall(threaded_engine(Engine), threaded_engine_destroy(Engine))
threaded_engine_create/3
, threaded_engine_self/1
, threaded_engine/1