module UnrollUnnatural: sig
.. end
Could enter a loop only by head nodes
module Vertex_Set: Datatype.S_with_collections
with type t = Vertex.Set.t
module Version: Datatype.S_with_collections
with type t = Vertex.t * Vertex.Set.t
module G: sig
.. end
module WTO: sig
.. end
val output_to_dot : Pervasives.out_channel ->
?number:[ `Stmt | `Vertex ] ->
?wto:WTO.t ->
G.t -> unit
val unroll_unnatural_loop : Interpreted_automata.automaton ->
Interpreted_automata.wto ->
Interpreted_automata.Compute.wto_index_table ->
G.t