Module marking

Source

Structsยง

MarkingVisitor
SynchronousMarking