[bpt/coccinelle.git] / engine / check_reachability.mli

type witness =
    (Ograph_extended.nodei, unit,
     (Ograph_extended.nodei, unit, unit) Ast_ctl.generic_ctl list)
      Ast_ctl.generic_witnesstree

type ('a,'b,'c,'d,'e) triples =
    (Ograph_extended.nodei * 'a *
     (Ograph_extended.nodei,
      ('b, ('c,'d) Wrapper_ctl.wrapped_binding) Ast_ctl.generic_subst list, 'e)
     Ast_ctl.generic_witnesstree list) list

val check_reachability :
    ('a,'b,'c,'d,'e) triples -> Control_flow_c.cflow -> unit
Commit	Line	Data
34e49164 C	1	type witness =
	2	(Ograph_extended.nodei, unit,
	3	(Ograph_extended.nodei, unit, unit) Ast_ctl.generic_ctl list)
	4	Ast_ctl.generic_witnesstree
	5
	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
	11
	12	val check_reachability :
	13	('a,'b,'c,'d,'e) triples -> Control_flow_c.cflow -> unit