WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -22440,7 +22440,7 @@ \subsection{Function Types}
 a function type $F$ which is a subtype of the class \FUNCTION{}
 (\ref{functionType}).
 The function object has a method named \CALL,
-whose signature is said function type $F$.
+whose signature has $F$ as its function type.
 \commentary{%
   Consequently, all function types are subtypes of \FUNCTION{}
   (\ref{subtypes}).%