let cfg_dot msg dotname ?pp_edge_fun cfg = let dir = Wp_parameters.get_output () in let file = Printf.sprintf "%s/wp_%s.dot" dir dotname in Wp_parameters.result "export %s in %s@." msg file ; export ~file ?pp_edge_fun cfg ; file