Processes the sub-expression after a type application and adds the type arg -> type relation to the resMap. unappliedArgs is cleared. The types are connected to the arguments in the order they appeared in the type application.
Processes the sub-expression after a type application and adds the type arg -> type relation to the resMap. unappliedArgs is cleared. The types are connected to the arguments in the order they appeared in the type application.
Value parameters
pars
The type params of the sub-expression. If number does not match previous typeApp call as much type args as possible are connected to types.
Process a type application. The new types are stored in unappliedArgs until the expression they are applied on is hit. If unappliedArgs already contains types they are overwritten.
Process a type application. The new types are stored in unappliedArgs until the expression they are applied on is hit. If unappliedArgs already contains types they are overwritten.