# threaded_engine_fetch/1

## Description

    threaded_engine_fetch(Term)

Fetches a term from the engine term queue. Blocks until a term is available. Fails if not called from within an engine.

## Modes and number of proofs

    threaded_engine_fetch(?term) - zero_or_one

## Errors

(none)

## Examples

    % fetch a term from the engine term queue:
    ..., threaded_engine_fetch(Term), ...

See also

threaded_engine_post/2