Documentation
runCHP_TraceOff :: CHP a -> IO (Maybe a, TraceOff Unique)Source
A type-constrained version of runCHPAndTrace
. This is semantically identical
to runCHP
, but this function is useful with the qcCHP'
function in the testing
module.