functor (UserCb : ViewGraph_core.SigCb->
  sig
    val open_dot_file :
      UserCb.t_env ->
      ViewGraph_select.t_env ->
      ?dot_cmd:string -> string -> ViewGraph_core.t_graph
  end