Searched refs:casted_arg_tys (Results 1 – 4 of 4) sorted by relevance
872 = foldl' AppTy ((mkAppTys fun_ty casted_arg_tys) `mkCastTy` res_co) leftovers876 casted_arg_tys = zipWith mkCastTy args_to_cast arg_cos function
796 = foldl' AppTy ((mkAppTys fun_ty casted_arg_tys) `mkCastTy` res_co) leftovers800 casted_arg_tys = zipWith mkCastTy args_to_cast arg_cos function
1020 = foldl' AppTy ((mkAppTys fun_ty casted_arg_tys) `mkCastTy` res_co) leftovers1024 casted_arg_tys = zipWith mkCastTy args_to_cast arg_cos function