Searched refs:mkWildEvBinder (Results 1 – 4 of 4) sorted by relevance
9 mkWildValBinder, mkWildEvBinder,186 mkWildEvBinder :: PredType -> EvVar187 mkWildEvBinder pred = mkWildValBinder pred function
11 mkWildValBinder, mkWildEvBinder,195 mkWildEvBinder :: PredType -> EvVar196 mkWildEvBinder pred = mkWildValBinder Many pred function
11 mkWildValBinder, mkWildEvBinder,189 mkWildEvBinder :: PredType -> EvVar190 mkWildEvBinder pred = mkWildValBinder Many pred function