From 625ef055a6bc9ad938aff781a5cad427ade27ea5 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Tue, 22 Dec 2020 22:45:35 +0100
Subject: [PATCH] graph-typed.rkt: Make the type of graphviz more complete.

---
 graph-typed.rkt | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/graph-typed.rkt b/graph-typed.rkt
index 9942112..5efcf59 100644
--- a/graph-typed.rkt
+++ b/graph-typed.rkt
@@ -4,4 +4,7 @@
 
 (require/typed/provide graph
   [#:opaque Graph graph?]
-  [graphviz (-> Graph String)])
+  [graphviz (-> Graph
+                [#:output Output-Port]
+                [#:colors (HashTable Any Natural)]
+                String)])