Package avail.interpreter.effects

A LoadingEffect is a summarized activity that took place during execution of a top-level statement during module compilation. If certain criteria are met, what gets recorded for replay is not a zero-argument function containing that top-level statement, but instead is a summarized function that has an equivalent effect on the currently module, although it may be much more efficient.