d. h.: in einer A-Methode wird eine B-Methode aufgerufen
d. h.: der Typ B kommt in der Deklaration einer A-Methode vor (als Argument oder Resultat)