HCoop
/
bpt
/
coccinelle.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
788df0bb32203346041a316ea5a533708b687619
[bpt/coccinelle.git]
/
parsing_cocci
/
insert_plus.mli
1
val
insert_plus
:
Ast0_cocci
.
rule
->
Ast0_cocci
.
rule
->
bool
->
unit
2
(* bool is true if no isos *)