module type SigCb =sig..end
type t_env
: t_env -> unit : t_env -> unit : t_env -> unit : t_env -> ViewGraph_core.t_node -> unit : t_env -> ViewGraph_core.t_node -> unit : t_env -> ViewGraph_core.t_node -> unitval enter_node : t_env -> ViewGraph_core.t_node -> unitval leave_node : t_env -> ViewGraph_core.t_node -> unit