val cocciTy :
(A.fullType, B.fullType) matcher -> (A.fullType, F.node) matcher
+ val cocciInit :
+ (A.initialiser, B.initialiser) matcher -> (A.initialiser, F.node) matcher
+
val envf :
A.keep_binding -> A.inherited ->
A.meta_name A.mcode * Ast_c.metavar_binding_kind *
)
)
-
-
| A.Ty ty, nodeb ->
X.cocciTy fullType ty node >>= (fun ty node ->
return (
)
)
+ | A.TopInit init, nodeb ->
+ X.cocciInit initialiser init node >>= (fun init node ->
+ return (
+ A.TopInit init,
+ F.unwrap node
+ )
+ )
+
| A.FunHeader (mckstart, allminus, fninfoa, ida, oparen, paramsa, cparen),
F.FunHeader ((idb, (retb, (paramsb, (isvaargs, iidotsb))), stob), ii) ->