Type Alias SelectorVars

SelectorVars: Record<string, Type>

A description of which substances should be selected over in a forall selector. The keys are the names of the variables to assign, and the values are the types of the substances to assign to them.

For example, selecting over all pairs of Birds and single Trees, assigning the birds to b1 and b2 and the tree to t, could look like:

{ b1: Bird, b2: Bird, t: Tree }