@@ -698,7 +698,7 @@ obtained for $\varpi$ by the logical rules, with the static type

deduced by the type system of the expression occurring at $\varpi$. The

remaining structural rule, \Rule{Psubs}, is accounted for by the use

of the operators $\worra{}{}$ and $\boldsymbol{\pi}_i$ in

the definition of $\constr{}{}$.

the definition of $\constrf$.

The notation $\tyof{e}{\Gamma}$ denotes the type that can be deduced for the occurence $e$ under the type environment $\Gamma$ in the algorithmic type system given in Section~\ref{sec:algorules}.