use vscodium instead of vscode

Makefile

@@ -7,7 +7,7 @@ format:
 	ocp-indent --inplace src/*
 
 edit:
-	code . -n
+	codium . -n
 
 demo: build
 	@echo "\n==== EXECUTING ====\n"

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

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