ExtList - added :
val filter_map : ('a -> 'b option) -> 'a list -> 'b list
val unique : ?cmp:('a -> 'a -> bool) -> 'a list -> 'a list
Enum - added :
val filter_map : ('a -> 'b option) -> 'a t -> 'b t
val clone : 'a t -> 'a t
Enum.clone will enable you to enumerate several times over the same enum ,
the implementation is quite efficient.
Nicolas Cannasse
|