Release coccinelle-0.2.0rc1

[bpt/coccinelle.git] / popl09 / popl.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 popl : Ast_cocci.rule -> formula list