Execution

The names of the product elements

The name of the type

create an execution with a Continuation

create an execution which will not execute but directly return a value

get the execution statistics of a specification as a Decorated result

create an execution returning a specific result

insert the specification statistics for a given specification

create an execution using the Env, synchronously by default

create an execution using the Env

create an execution using the Env and Flatten the execution

create an execution using the Env

create an execution using the execution context

create an execution using the execution environment

nothing to execute