exported arrow->pict

collects/redex/pict.rkt

@@ -114,6 +114,7 @@
 
 (provide/contract
  [set-arrow-pict! (-> symbol? (-> pict?) void?)]
+ [arrow->pict (-> symbol? pict?)]
  
  [lw->pict
   (-> (or/c (listof symbol?) compiled-lang?) lw? pict?)]

collects/redex/private/pict.rkt

@@ -55,7 +55,8 @@
          metafunction-cases
          compact-vertical-min-width
          extend-language-show-union
-         set-arrow-pict!)
+         set-arrow-pict!
+         arrow->pict)
 (provide/contract
  [linebreaks (parameter/c (or/c #f (listof boolean?)))])
 

collects/redex/redex.scrbl

@@ -2223,6 +2223,10 @@ some part of a grammar, reduction relation, or
 metafunction. It defaults to slideshow's @racket[text] function.
 }
 
+@defproc[(arrow->pict [arrow symbol?]) pict?]{
+  Returns the pict corresponding to @racket[arrow].                                             
+}
+
 @defproc[(set-arrow-pict! [arrow symbol?] [proc  (-> pict?)]) void?]{
 
 This functions sets the pict for a given reduction-relation