Home
last modified time | relevance | path

Searched refs:constrained_tyvars (Results 1 – 1 of 1) sorted by relevance

/dports/lang/ghc/ghc-8.10.7/compiler/specialise/
H A DSpecialise.hs2477 constrained_tyvars = tyCoVarsOfTypes $ getTheta pis function
2489 | binderVar bndr `elemVarSet` constrained_tyvars