From 25b4216faf0e722a0ebeeb0a96d1f90a265bae0a Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Fri, 4 Feb 2022 00:09:39 +0100 Subject: [PATCH] utils.scrbl: Move Pretty printing before Additional graph utilities. --- scribblings/utils.scrbl | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/scribblings/utils.scrbl b/scribblings/utils.scrbl index 75b39bc..cf34ba4 100644 --- a/scribblings/utils.scrbl +++ b/scribblings/utils.scrbl @@ -246,16 +246,6 @@ those symbols. (list-sets->list-strings (list (set 'x 'y) (set 'z) (set) (set 't))) ]} -@section{Additional graph utilities} -@defproc[(dotit [graph Graph]) Void]{ - -Typeset the graph via graphviz and display it. - -@examples[#:eval utils-evaluator -(require typed/graph) -(dotit (weighted-graph/directed '((1 a b) (2 b c)))) -]} - @section{Pretty printing} @defproc[(pretty-print-set (s (Setof Any))) String]{ @@ -277,6 +267,16 @@ a state graph. (pretty-print-set-sets (set (set 'a 'b) (set 'c))) ]} +@section{Additional graph utilities} +@defproc[(dotit [graph Graph]) Void]{ + +Typeset the graph via graphviz and display it. + +@examples[#:eval utils-evaluator +(require typed/graph) +(dotit (weighted-graph/directed '((1 a b) (2 b c)))) +]} + @section{Additional list and hash map utilities} @section{Functions and procedures}