


Nach welcher Regel bestimmt man, 
ob ein Ausdruck \verb|f(x)| korrekt getypt ist?
(Ohne Berücksichtigung von Vererbung oder Generizität.)
\punkte 4

\begin{itemize}
\item Wenn \verb|f| den Typ \dots \hspace*{3cm} hat
\item und \verb|x| den Typ \dots \hspace*{3cm} hat,
\item dann ist der Typ von \verb|f(x)| \dots \hspace*{3cm}.
\end{itemize}


