Create graphlib properly

.gitignore

@@ -1,6 +1,7 @@
 *.cm*
 *.annot
 *.o
+.merlin
 /.depend
 /META
 /Makefile

src/dune

@@ -1,6 +1,6 @@
 (library
-  (name graph)
-  (public_name ocamlgraph.graph)
+  (name graphlib)
+  (public_name ocamlgraph.graphlib)
   (libraries stdlib-shims lib)
   (flags -open Lib)
   (modules_without_implementation dot_ast sig sig_pack))

src/graphlib.ml

@@ -0,0 +1,40 @@
+module Sig = Sig
+module Sig_pack = Sig_pack
+module Dot_ast = Dot_ast
+module Util = Util
+module Persistent = Persistent
+module Imperative = Imperative
+module Delaunay = Delaunay
+module Builder = Builder
+module Classic = Classic
+module Rand = Rand
+module Oper = Oper
+module Components = Components
+module Path = Path
+module Nonnegative = Nonnegative
+module Traverse = Traverse
+module Coloring = Coloring
+module Topological = Topological
+module Kruskal = Kruskal
+module Flow = Flow
+module Prim = Prim
+module Dominator = Dominator
+module Graphviz = Graphviz
+module Gml = Gml
+module Dot = Dot
+module Pack = Pack
+module Gmap = Gmap
+module Minsep = Minsep
+module Cliquetree = Cliquetree
+module Mcs_m = Mcs_m
+module Md = Md
+module Strat = Strat
+module Fixpoint = Fixpoint
+module Leaderlist = Leaderlist
+module Contraction = Contraction
+module Graphml = Graphml
+module Merge = Merge
+module Mincut = Mincut
+module Clique = Clique
+module WeakTopological = WeakTopological
+module ChaoticIteration = ChaoticIteration

src/imperative.ml

@@ -233,7 +233,7 @@ module Graph = struct
   module Concrete(V: COMPARABLE) = struct
 
     module G = struct include Digraph.Concrete(V) type return = unit end
-    include Graph(G)
+    include Blocks.Graph(G)
 
     (* Redefine the [add_edge] and [remove_edge] operations *)
 
@@ -261,7 +261,7 @@ module Graph = struct
       include Digraph.ConcreteLabeled(V)(Edge)
       type return = unit
     end
-    include Graph(G)
+    include Blocks.Graph(G)
 
     (* Redefine the [add_edge] and [remove_edge] operations *)
 
@@ -289,7 +289,7 @@ module Graph = struct
   module Abstract(V: sig type t end) = struct
 
     module G = struct include Digraph.Abstract(V) type return = unit end
-    include Graph(G)
+    include Blocks.Graph(G)
 
     (* Export some definitions of [G] *)
     module Mark = G.Mark
@@ -318,7 +318,7 @@ module Graph = struct
       include Digraph.AbstractLabeled(V)(Edge)
       type return = unit
     end
-    include Graph(G)
+    include Blocks.Graph(G)
 
     (* Export some definitions of [G] *)
     module Mark = G.Mark

src/persistent.ml

@@ -209,7 +209,7 @@ module Graph = struct
   module Concrete(V: COMPARABLE) = struct
 
     module G = struct include Digraph.Concrete(V) type return = t end
-    include Graph(G)
+    include Blocks.Graph(G)
 
     (* Export some definitions of [G] *)
     let empty = G.empty
@@ -238,7 +238,7 @@ module Graph = struct
       include Digraph.ConcreteLabeled(V)(Edge)
       type return = t
     end
-    include Graph(G)
+    include Blocks.Graph(G)
 
     (* Export some definitions of [G] *)
     let empty = G.empty
@@ -267,7 +267,7 @@ module Graph = struct
   module Abstract(V: sig type t end) = struct
 
     module G = struct include Digraph.Abstract(V) type return = t end
-    include Graph(G)
+    include Blocks.Graph(G)
 
     (* Export some definitions of [G] *)
     let empty = G.empty
@@ -296,7 +296,7 @@ module Graph = struct
       include Digraph.AbstractLabeled(V)(Edge)
       type return = t
     end
-    include Graph(G)
+    include Blocks.Graph(G)
 
     (* Export some definitions of [G] *)
     let empty = G.empty