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