Prüfung Generische Typen

Es gelten die üblichen Regeln. ( f : : A$\to$B, x : : A, f (x) : : B)

• beim Typ-Prüfen werden Typschablonen S, T verglichen.
• Typprüfung ist erfolgreich,

  falls es eine Substitution (Ersetzung) e der Schablonen-Variablen durch Typen oder Schablonen gibt,

  so daß e(S) = e(T).