E | |
effects [Writes] |
Given an effect
e , something is directly modified by e (through an
affectation, or through a call to a leaf function) if direct holds, and
indirectly (through the effects of a call) otherwise.
|
effects [Studia.Writes] |
Given an effect
e , something is directly modified by e (through an
affectation, or through a call to a leaf function) if direct holds, and
indirectly (through the effects of a call) otherwise.
|