Module Dependency.VertexSource

Vertices: scope variables or subscopes.

The vertices of the scope dependency graph are either :

• the variables of the scope ;
• the subscopes of the scope.

Indeed, during interpretation, subscopes are executed atomically.