replace existing effect for type `effect.this` by the new effect value `e`.
For effects that model the outside world (e.g., i/o, time, sensors and actuators, etc.), the effect might be a unit type, so the replace is effectively a no-operation. However, the call to `replace` is used ot model the change of the outside world and must be included for analysis tools to appreciate this.
replace may only be called during the execution of an operation of a currently instated effect of the same effect type.
NYI: BUG: It is currently not enforced that replace is only called during the execution of an operation of a currently instated effect of the same effect type.
0.094dev (2025-06-18 15:08:51 GIT hash 89cffc23ae669b0898a5564fefbf793fcb8e5ca7 built by fridi@fzen)
For effects that model the outside world (e.g., i/o, time, sensors and actuators, etc.),
the effect might be a unit type, so the replace is effectively a no-operation. However,
the call to `replace` is used ot model the change of the outside world and must be
included for analysis tools to appreciate this.
replace may only be called during the execution of an operation of a currently instated
effect of the same effect type.
NYI: BUG: It is currently not enforced that replace is only called during the execution
of an operation of a currently instated effect of the same effect type.