restart


Vocabulary
continuations

Inputs
None

Outputs
None

Word description
Invokes a restart.

Class description
The class of restarts.

Definition

TUPLE: restart name obj continuation ;


Methods