From 5f8bf7c4e2ebd623a4600f4c5f9ba6e0c1bbd0d4 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sat, 1 Jan 2022 23:51:51 +0100 Subject: [PATCH] Add an empty line after the subsection title. --- manual.scrbl | 1 + 1 file changed, 1 insertion(+) diff --git a/manual.scrbl b/manual.scrbl index 5c09632..7411d0e 100644 --- a/manual.scrbl +++ b/manual.scrbl @@ -74,6 +74,7 @@ The opaque type corresponding to the predicate @racketlink[g:matrix-graph? "matr } @subsection{Generic Graph Interface} + @defproc[(has-vertex? [g Graph] [v Any]) Boolean]{} @defproc[(has-edge? [g Graph] [u Any] [v Any]) Boolean]{} @defproc[(vertex=? [g Graph] [u Any] [v Any]) Boolean]{}