Searched defs:mkTyVarBinders (Results 1 – 4 of 4) sorted by relevance
556 mkTyVarBinders vis = map (mkTyVarBinder vis) function
662 mkTyVarBinders vis = map (mkTyVarBinder vis) function
696 mkTyVarBinders vis = map (mkTyVarBinder vis) function