Commit | Line | Data |
---|---|---|
34e49164 C |
1 | type cocci_predicate = Lib_engine.predicate * string Ast_ctl.modif |
2 | type formula = | |
3 | (cocci_predicate,string, Wrapper_ctl.info) Ast_ctl.generic_ctl | |
4 | ||
5 | val asttoctl : Ast_cocci.rule -> string list list -> formula list | |
6 | ||
7 | val pp_cocci_predicate : cocci_predicate -> unit | |
8 | ||
9 | val cocci_predicate_to_string : cocci_predicate -> string |