1 type cocci_predicate
= Lib_engine.predicate
* Ast_cocci.meta_name
Ast_ctl.modif
3 (cocci_predicate
,Ast_cocci.meta_name
, Wrapper_ctl.info
) Ast_ctl.generic_ctl
5 let poplz (name
,_
,ast
) =
8 let ast = Asttopopl.top
ast in
9 let qt = Insert_quantifiers.insert_quantifiers
ast in
11 | _
-> failwith
"only one rule allowed"
15 Ast_cocci.CocciRule
(a
,b
,c
,_
,Ast_cocci.Normal
) -> poplz (a
,b
,c
)