Test::SmallStepTest Class Reference

Inheritance diagram for Test::SmallStepTest:

Static Public Member Functions
static ExecutionState	mkState (Body body)
	Creates an execution state out of a continuation body.