Module Interpreted_automata.G

module G: Graph.Sig.I 
  with type V.t = vertex
   and  type E.t = vertex * vertex edge * vertex
   and  type V.label = vertex
   and  type E.label = vertex edge