2 (Ograph_extended.nodei
, unit,
3 (Ograph_extended.nodei
, unit, unit) Ast_ctl.generic_ctl list
)
4 Ast_ctl.generic_witnesstree
6 type ('a
,'b
,'c
,'d
,'e
) triples
=
7 (Ograph_extended.nodei
* 'a
*
8 (Ograph_extended.nodei
,
9 ('b
, ('c
,'d
) Wrapper_ctl.wrapped_binding
) Ast_ctl.generic_subst list
, 'e
)
10 Ast_ctl.generic_witnesstree list
) list
12 val check_reachability
:
13 ('a
,'b
,'c
,'d
,'e
) triples
-> Control_flow_c.cflow
-> unit