Searched defs:ppr_arrow_chain (Results 1 – 4 of 4) sorted by relevance
715 ppr_arrow_chain (a:as) = sep (a : map (arrow <+>) as) function716 ppr_arrow_chain [] = empty function
1710 ppr_arrow_chain (a:as) = sep (a : map (arrow <+>) as) function1711 ppr_arrow_chain [] = empty function
1534 ppr_arrow_chain (a:as) = sep (a : map (arrow <+>) as) function1535 ppr_arrow_chain [] = empty function