-type ('a, 'b) view =
- | Empty
+type ('a, 'b) view =
+ | Empty
| Cons of 'a * 'b
class virtual ['a] ocollection :
method virtual mem : 'a -> bool
method virtual null : bool
+ (* effect version *)
+ method add2: 'a -> unit
+ method del2: 'a -> unit
+ method clear: unit
method fold : ('c -> 'a -> 'c) -> 'c -> 'c