From 05a5ce2ad15d77237c60cb8c8411f98ec5ecc7f9 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Mon, 21 Dec 2020 23:22:59 +0100
Subject: [PATCH] graph-typed.rkt: Start.

---
 graph-typed.rkt | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 graph-typed.rkt

diff --git a/graph-typed.rkt b/graph-typed.rkt
new file mode 100644
index 0000000..9942112
--- /dev/null
+++ 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)])