sig val open_dot_file : Viewgraph.ViewGraph_core.EmptyCb.t_env -> Viewgraph.ViewGraph_select.t_env -> ?dot_cmd:string -> string -> Viewgraph.ViewGraph_core.t_graph end