| 1 | val run : |
| 2 | (Ast_cocci.script_meta_name * Ast_cocci.meta_name * |
| 3 | Ast_cocci.metavar) list -> |
| 4 | Ast_c.metavars_binding (*virts*) -> |
| 5 | Ast_cocci.meta_name list (*fresh vars*) -> |
| 6 | string (*rule name*) -> |
| 7 | string (*code*) -> |
| 8 | string list (* final values of script vars *) |
| 9 | |