HCoop
/
bpt
/
coccinelle.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Release coccinelle-0.1.2
[bpt/coccinelle.git]
/
commons
/
ocollection.mli
diff --git
a/commons/ocollection.mli
b/commons/ocollection.mli
index
03d2d83
..
c23dced
100644
(file)
--- a/
commons/ocollection.mli
+++ b/
commons/ocollection.mli
@@
-17,6
+17,8
@@
object ('o)
method virtual mem : 'a -> bool
method virtual null : bool
+ (* effect version *)
+ method add2: 'a -> unit
method fold : ('c -> 'a -> 'c) -> 'c -> 'c