Searched defs:mkPiTy (Results 1 – 4 of 4) sorted by relevance
943 mkPiTy (Anon af ty1) ty2 = FunTy { ft_af = af, ft_arg = ty1, ft_res = ty2 } function944 mkPiTy (Named (Bndr tv vis)) ty = mkForAllTy tv vis ty function
1042 mkPiTy (Anon af ty1) ty2 = mkScaledFunTy af ty1 ty2 function1043 mkPiTy (Named (Bndr tv vis)) ty = mkForAllTy tv vis ty function
1008 mkPiTy (Anon af ty1) ty2 = mkScaledFunTy af ty1 ty2 function1009 mkPiTy (Named (Bndr tv vis)) ty = mkForAllTy tv vis ty function