From 67ae4150643c86258a77a19584c0cd731820e1a6 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Tue, 8 Feb 2022 00:10:49 +0100 Subject: [PATCH] utils.scrbl: Require typed/graph in a separate place. --- scribblings/utils.scrbl | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/scribblings/utils.scrbl b/scribblings/utils.scrbl index 87d2c86..647eced 100644 --- a/scribblings/utils.scrbl +++ b/scribblings/utils.scrbl @@ -268,12 +268,18 @@ a state graph. ]} @section{Additional graph utilities} + +All examples in this section depend on @racket[typed/graph]: + +@examples[#:eval utils-evaluator +(require typed/graph) +] + @defproc[(dotit [graph Graph]) Void]{ 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)))) ]}