Interpreter

Main interpreter, using observables and choice data

data Output

data StopReason

data SimEnv

data SimOutputs

data StopWait

data WaitInfo

runContract

data WaitResult k

runWait

data WaitEvent k

mergeWaitEvents

Evaluating observables in the presense of observables data

data ObsEnv

currentObsEnv

data ObsResult a

evalObs

XML instances

data WaitCondition

data WaitOption