flix

0.54.0

NonDet

eff NonDetSource

The 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.