The assigment to a selection, used as the input to closures provided to forall. The keys are the same keys as declared in the provided SelectorVars, and are a particular satsifying assignment of substances.
forall
SelectorVars
The assigment to a selection, used as the input to closures provided to
forall. The keys are the same keys as declared in the providedSelectorVars, and are a particular satsifying assignment of substances.