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.2.2-rc2
[bpt/coccinelle.git]
/
commons
/
ocollection.mli
diff --git
a/commons/ocollection.mli
b/commons/ocollection.mli
index
c23dced
..
70213c8
100644
(file)
--- a/
commons/ocollection.mli
+++ b/
commons/ocollection.mli
@@
-1,5
+1,5
@@
-type ('a, 'b) view =
- | Empty
+type ('a, 'b) view =
+ | Empty
| Cons of 'a * 'b
class virtual ['a] ocollection :
@@
-19,6
+19,8
@@
object ('o)
(* effect version *)
method add2: 'a -> unit
+ method del2: 'a -> unit
+ method clear: unit
method fold : ('c -> 'a -> 'c) -> 'c -> 'c