Defines a step that does not rely on state.
Defines a step that does not rely on state.
Defines a step that does not rely on state.
Defines a step that performs some effect which does not rely on state.
Defines a step that performs some effect which does not rely on state.