1 type cocci_predicate
= Lib_engine.predicate
* string Ast_ctl.modif
3 (cocci_predicate
,string, Wrapper_ctl.info
) Ast_ctl.generic_ctl
5 val asttoctl
: Ast_cocci.rule
-> string list list
-> formula list
7 val pp_cocci_predicate
: cocci_predicate
-> unit
9 val cocci_predicate_to_string
: cocci_predicate
-> string