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