3 module Intvertex = struct
5 let compare : t -> t -> int = Pervasives.compare
6 let hash = Hashtbl.hash
11 module Gr = Graph.Imperative.Digraph.ConcreteBidirectional(Intvertex);;
13 module Topo = Graph.Topological.Make(Gr);;
15 let make_vertex var_index = Gr.V.create var_index;;
16 let dest_vertex var_index = Gr.V.label var_index;;