Functor State_dependency_graph.Dot

module Dot: 
functor (A : Attributes-> sig .. end
Parameters:
A : Attributes

val dump : string -> unit