Searched defs:pp_forall_tm (Results 1 – 4 of 4) sorted by relevance
1069 pp_forall_tm Nothing | null tms = empty function1070 pp_forall_tm _ = forAllLit <+> fsep (map ppr tms) <> dot function
2441 pp_forall_tm Nothing | null tms = empty function2442 pp_forall_tm _ = forAllLit <+> fsep (map ppr tms) <> dot function
2285 pp_forall_tm Nothing | null tms = empty function2286 pp_forall_tm _ = forAllLit <+> fsep (map ppr tms) <> dot function