From 45a60cd1220084d710570e5528b3a3e3079e86b7 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sun, 6 Feb 2022 23:50:40 +0100 Subject: [PATCH] utils.scrbl: Improve the doc for dotit. --- scribblings/utils.scrbl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/scribblings/utils.scrbl b/scribblings/utils.scrbl index e18fdb0..c338c48 100644 --- a/scribblings/utils.scrbl +++ b/scribblings/utils.scrbl @@ -270,14 +270,13 @@ a state graph. @section{Additional graph utilities} @defproc[(dotit [graph Graph]) Void]{ -Typeset the graph via graphviz and display it. +Typesets the graph via @racket[graphviz] and @racket[display]s it. @examples[#:eval utils-evaluator (require typed/graph) (dotit (weighted-graph/directed '((1 a b) (2 b c)))) ]} - @defproc[(update-vertices/unweighted [graph Graph] [func (-> Any Any)]) Graph]{ Applies a transformation to every vertex in the unweighted graph and returns