$default constant

Execution_State const $default

The default value for Execution_State.

Implementation

static const $default = stateUnspecified;