On Tue, Aug 13, 2002 at 12:12:45PM -0400, Oleg wrote:
> type 'a dlist = {mutable prev : 'a dlist option; 
>                      mutable next : 'a dlist option; 
>                      info : 'a}


> Maybe I'll write it in the next few days. What kind of bothers me is the need 
> to have iterators (a la STL) as helper types.

Unless you need thread-safe behavior, that could be just
"'a dlist ref". I tried to do some fast things. See
attachment.  That's just an idea.

Max.