threaded_engine_destroy(Engine)
Stops an engine.
threaded_engine_destroy(@nonvar)
instantiation_errorexistence_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