Searched refs:pp_forall_ty (Results 1 – 4 of 4) sorted by relevance
1063 nest 4 (pp_forall_ty tys <+> pp_forall_tm tys1067 pp_forall_ty Nothing = empty function1068 pp_forall_ty (Just qtvs) = forAllLit <+> fsep (map ppr qtvs) <> dot function
2435 nest 4 (pp_forall_ty tys <+> pp_forall_tm tys2439 pp_forall_ty Nothing = empty function2440 pp_forall_ty (Just qtvs) = forAllLit <+> fsep (map ppr qtvs) <> dot function
2279 nest 4 (pp_forall_ty tys <+> pp_forall_tm tys2283 pp_forall_ty Nothing = empty function2284 pp_forall_ty (Just qtvs) = forAllLit <+> fsep (map ppr qtvs) <> dot function