Searched refs:pp_forall_tm (Results 1 – 4 of 4) sorted by relevance
1063 nest 4 (pp_forall_ty tys <+> pp_forall_tm tys1069 pp_forall_tm Nothing | null tms = empty function1070 pp_forall_tm _ = forAllLit <+> fsep (map ppr tms) <> dot function
2435 nest 4 (pp_forall_ty tys <+> pp_forall_tm tys2441 pp_forall_tm Nothing | null tms = empty function2442 pp_forall_tm _ = forAllLit <+> fsep (map ppr tms) <> dot function
2279 nest 4 (pp_forall_ty tys <+> pp_forall_tm tys2285 pp_forall_tm Nothing | null tms = empty function2286 pp_forall_tm _ = forAllLit <+> fsep (map ppr tms) <> dot function