Makefile

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

src/tools.ml

@@ -1,7 +0,0 @@
-(* 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

@@ -1,5 +0,0 @@
-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