Searched refs:addSimpleTyVarBinds (Results 1 – 1 of 1) sorted by relevance
501 = addSimpleTyVarBinds tvs $528 = do { dec <- addSimpleTyVarBinds tvs $1003 addSimpleTyVarBinds :: [Name] -- the binders to be added1006 addSimpleTyVarBinds names thing_inside function1033 = addSimpleTyVarBinds imp_tvs $1099 = addSimpleTyVarBinds implicit_tvs $