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 : Stdlib.out_channel ->
?labeling:Version.t
Interpreted_automata.labeling ->
?wto:WTO.t ->
G.t -> unit
val unroll_unnatural_loop : Interpreted_automata.automaton ->
Interpreted_automata.wto ->
Interpreted_automata.Compute.wto_index_table ->
G.t