IO

eff IOSource

The uninterpretable IO effect.

The IO effect represents the actions not described by any other effect.

The IO effect is uninterpretable which means that it cannot be handled.