threaded_cancel/1

Description

threaded_cancel(Tag)

Cancels a tagged threaded call. When there is no asynchronous call with the given tag, calling this predicate succeeds assuming the asynchronous call have already terminated or canceled. The threaded call identifier tag is generated by calls to the threaded_call/2 and threaded_once/2 predicates. Tags shall be regarded as an opaque term; users shall not rely on its type.

Modes and number of proofs

threaded_cancel(+nonvar) - one

Errors

Tag is a variable:
instantiation_error