Env
eff Env
SourceThe uninterpretable Env
effect.
The Env
effect represents actions that read from the environment (e.g. information
about the shell, operating system, or hardware)
The Env
effect is uninterpretable which means that it cannot be handled.