From: Nicolas C. <war...@fr...> - 2003-05-23 02:46:58
|
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 |