Gives effects and traces for cleaning and dirtying, the engine's
internal DCG traversal/processing. By contrast, the enclosing
reflect) only gives reflected versions of the DCG
itself, not changes that the engine makes to it.
For analytic cost analysis
An edge in the DCG, representing an effect of the incremental program.
Count of effects and effect-patterns in trace. For fields
with two numbers, the first and second projection give the
Distinguish fresh allocations from those that reuse an existing location.
Distinguish ref cell allocations from thunk allocations
The effects of the DCG (including cleaning and dirtying) on one of its edges.
Edge associated with an
When the program