Represents a value that can be evaluated in the context of concrete evaluation of LowUIR statements, which can be either defined or undefined.

Represents the main evaluation state that will be updated by evaluating every LowUIR statement encountered during the course of execution. This can be considered as a single-threaded CPU context.

Represents a concrete evaluation module for LowUIR.

Represents a callback function that is invoked when an external call is encountered during the evaluation.

Represents a memory used in the evaluation.

Represents a collection of labels used in the evaluation state.

Represents a callback function that is invoked when a memory load fails.

Represents a non-sharable memory.

Represents a safe concrete evaluation module for LowUIR. Unlike Evaluator, it does not raise exceptions, although it may be little bit slower.

Represents a thread-safe (sharable) memory.

Represents a callback function that is invoked when a side effect is encountered during the evaluation.

Represents a collection of variables used in the evaluation state.