[bpt/coccinelle.git] / popl09 / popltoctl.mli

type cocci_predicate = Lib_engine.predicate * Ast_cocci.meta_name Ast_ctl.modif
type formula =
    (cocci_predicate,Ast_cocci.meta_name, Wrapper_ctl.info) Ast_ctl.generic_ctl

val toctl : Ast_popl.sequence -> formula
Commit	Line	Data
951c7801 C	1	type cocci_predicate = Lib_engine.predicate * Ast_cocci.meta_name Ast_ctl.modif
	2	type formula =
	3	(cocci_predicate,Ast_cocci.meta_name, Wrapper_ctl.info) Ast_ctl.generic_ctl
	4
	5	val toctl : Ast_popl.sequence -> formula