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
7 (Ast_cocci.meta_name list list
(* used after *) *
8 Ast_cocci.meta_name list list
(* fresh used after *) *
9 Ast_cocci.meta_name list list
(* fresh used after seeds *)) ->
10 Ast_cocci.meta_name list list
(* positions *) ->
13 val pp_cocci_predicate
: cocci_predicate
-> unit
15 val cocci_predicate_to_string
: cocci_predicate
-> string