Selected typedef

Selected = Map<String, Set<int>>

The result of selections of an mark.

The keys are selection names, and the values are selected datum indexes sets of each selection.

Implementation

typedef Selected = Map<String, Set<int>>;