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