NonDet
eff NonDetSourceThe uninterpretable NonDet effect.
The NonDet effect represents one or more non-deterministic actions.
The NonDet effect is uninterpretable which means that it cannot be handled.
eff NonDetSourceThe uninterpretable NonDet effect.
The NonDet effect represents one or more non-deterministic actions.
The NonDet effect is uninterpretable which means that it cannot be handled.