functor (A : State_dependency_graph.Attributes) -> sig val dump : State_selection.t -> string -> unit end