diff --git a/scribblings/utils.scrbl b/scribblings/utils.scrbl index 43aa250..891250e 100644 --- a/scribblings/utils.scrbl +++ b/scribblings/utils.scrbl @@ -208,7 +208,11 @@ produces from tables. "((\"a\" . \"(and a b)\") (\"b\" . \"(or b (not a))\"))") ]} +@defproc[(dotit [graph Graph]) Void]{ +Typeset the graph via graphviz and display it. + +} @section{Additional graph utilities} diff --git a/utils.rkt b/utils.rkt index 0587ea6..75632f7 100644 --- a/utils.rkt +++ b/utils.rkt @@ -252,6 +252,5 @@ (check-equal? (hash-ref m2 'b) '(or b (not a))) (check-equal? (hash-ref m3 'b) '(or b (not a))))) -;;; Typeset the graph via graphviz and display it. (: dotit (-> Graph Void)) (define dotit (compose display graphviz))