-(* program -> output filename (often "/tmp/output.c") -> unit *)
-val pp_rule :
+(* program -> output filename (often "/tmp/output.c") -> unit *)
+val pp_rule :
Ast_cocci.metavar list (* local metavars only *) ->
Ast_cocci.rule -> Ast_c.metavars_binding -> Common.filename -> unit