Assertion: expression's type | /r/HasProperty | tk
Facets:
Source sentences:
text: An unfixed type variable Xi depends directly on an unfixed type variable Xj if for some argument Ek with type Tk Xj occurs in an input type of Ek with type Tk and Xi occurs in an output type of Ek with type Tk .