1 val process
: string (* name *) -> Ast_cocci.metavar list
->
2 string list
(* dropped isos *) ->
3 Ast0_cocci.rule
-> Ast0_cocci.rule
-> Ast_cocci.ruletype
->
4 ((Ast_cocci.metavar list
* Ast0_cocci.rule
) *
5 Ast_cocci.rule_with_metavars
option)