Searched defs:mkInvisForAllTys (Results 1 – 2 of 2) sorted by relevance
1039 mkInvisForAllTys tyvars ty = foldr ForAllTy ty $ tyVarSpecToBinders tyvars function
1005 mkInvisForAllTys tyvars ty = foldr ForAllTy ty $ tyVarSpecToBinders tyvars function