| 1 | val process : |
| 2 | string (* filename *) -> string option (* iso filename *) -> |
| 3 | bool (* verbose? *) -> |
| 4 | (Ast_cocci.metavar list list) * (Ast_cocci.rule list) * |
| 5 | Ast_cocci.meta_name list list list (*fvs of the rule*) * |
| 6 | Ast_cocci.meta_name list list list (*negated pos vars*) * |
| 7 | (Ast_cocci.meta_name list list list (*used after list*) * |
| 8 | (*fresh used after list*) |
| 9 | Ast_cocci.meta_name list list list * |
| 10 | (*fresh used after list seeds*) |
| 11 | Ast_cocci.meta_name list list list) * |
| 12 | Ast_cocci.meta_name list list list (*positions list*) * |
| 13 | string list list (* non metavars in - code, for grep *) * |
| 14 | string list option (* non metavars in - code, for glimpse/google *) |