From fe989ef8a73773eea7895049231af5666d9b1aca Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Tue, 22 Dec 2020 22:57:26 +0100 Subject: [PATCH] utils.scrbl: Add the documentation for dotit. --- scribblings/utils.scrbl | 4 ++++ utils.rkt | 1 - 2 files changed, 4 insertions(+), 1 deletion(-) 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))