elementRemoved constant

CollectiveEvent const elementRemoved

Event identifier for when an element is removed from a Collective.

This event should be used when:

• Elements are deleted from a list
• Elements are removed from a set
• Values are popped from a queue

Implementation

static const elementRemoved = CollectiveEvent._(identifier: #elementRemoved);