From c6f1a156a680a5e253d486f08e3c476d9a577308 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sat, 1 Jan 2022 17:59:49 +0100
Subject: [PATCH] manual: Add Matrix-Graph.

---
 manual.scrbl | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/manual.scrbl b/manual.scrbl
index 08ecc5f..30119b9 100644
--- a/manual.scrbl
+++ b/manual.scrbl
@@ -4,6 +4,7 @@
 	  	      require/typed require/typed/provide
 		      Any Boolean Void Sequenceof Listof List U False
 		      Mutable-HashTable Immutable-HashTable))
+	  (for-label (only-in graph (matrix-graph? g:matrix-graph?)))
 	  (for-label typed/graph))
 
 @title{Typed Interface for the Generic Graph Library}
@@ -65,6 +66,12 @@ The type wrapping the kinds of graphs the generic graph library deals with.
 
 }
 
+@defidform[Matrix-Graph]{
+
+The opaque type corresponding to the predicate @racketlink[g:matrix-graph? "matrix-graph?"].
+
+}
+
 @subsection{Generic Graph Interface}
 @defproc[(has-vertex? [g Graph] [v Any]) Boolean]{}
 @defproc[(has-edge? [g Graph] [u Any] [v Any]) Boolean]{}