Searched refs:tyScope (Results 1 – 7 of 7) sorted by relevance
1397 rhsScope = combineScopes argsScope tyScope1400 tyScope = mkLScope typ function
1273 rhsScope = combineScopes argsScope tyScope1276 tyScope = mkLScope typ function
1271 rhsScope = combineScopes argsScope tyScope1274 tyScope = mkLScope typ function
1424 rhsScope = combineScopes argsScope tyScope1427 tyScope = mkLScope typ function