Conditional type for argument lists of reactions. If the type variable T is inferred to be a subtype of Variable[] it will yield T; it will yield never if T is not a subtype of Variable[].
T
Variable[]
never
Reaction
Conditional type for argument lists of reactions. If the type variable
Tis inferred to be a subtype ofVariable[]it will yieldT; it will yieldneverifTis not a subtype ofVariable[].