graph-typed.rkt: Make the type of graphviz more complete.

2020-12-22 22:45:35 +01:00 · 2020-12-22 22:45:35 +01:00 · 625ef055a6
parent 61f9522569
commit 625ef055a6
1 changed files with 4 additions and 1 deletions
--- 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)])