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 -> unit
: val enter_node : t_env -> ViewGraph_core.t_node -> unit
val leave_node : t_env -> ViewGraph_core.t_node -> unit