graph-typed.rkt: Start.

2020-12-21 23:22:59 +01:00 · 2020-12-21 23:22:59 +01:00 · 676e9226a3
parent 01e8b1535c
commit 676e9226a3
1 changed files with 7 additions and 0 deletions
--- a/graph-typed.rkt
+++ b/graph-typed.rkt
@ -0,0 +1,7 @@
+#lang typed/racket
+
+;;; Slap types on some graph functions.
+
+(require/typed/provide graph
+  [#:opaque Graph graph?]
+  [graphviz (-> Graph String)])