From 782341829c631de5025eaaa9983fd7a5d24f030b Mon Sep 17 00:00:00 2001
From: Arnaud Vergnet <arnaud.vergnet@mailo.com>
Date: Tue, 3 Nov 2020 16:47:03 +0100
Subject: [PATCH] add basic tools module

---
 src/tools.ml  | 7 +++++++
 src/tools.mli | 5 +++++
 2 files changed, 12 insertions(+)
 create mode 100644 src/tools.ml
 create mode 100644 src/tools.mli

diff --git a/src/tools.ml b/src/tools.ml
new file mode 100644
index 0000000..960a82a
--- /dev/null
+++ b/src/tools.ml
@@ -0,0 +1,7 @@
+(* Yes, we have to repeat open Graph. *)
+open Graph
+
+(* assert false is of type ∀α.α, so the type-checker is happy. *)
+let clone_nodes gr = assert false
+let gmap gr f = assert false
+let add_arc gr f = assert false
\ No newline at end of file
diff --git a/src/tools.mli b/src/tools.mli
new file mode 100644
index 0000000..d2b4af8
--- /dev/null
+++ b/src/tools.mli
@@ -0,0 +1,5 @@
+open Graph
+
+val clone_nodes: 'a graph -> 'b graph
+val gmap: 'a graph -> ('a -> 'b) -> 'b graph
+val add_arc: int graph -> id -> id -> int -> int graph
\ No newline at end of file