[Ocaml-lib-devel] Dllist

[Christophe T. <chr...@us...>]

Hi,

Is there a good reason (aside from implementation easiness) not to
allow Dllist to be empty?  IMHO, empty lists are very useful and it is
rather an hindrance that Dllists cannot be.

To have an idea of what I have in mind, see the attached interface.
Comments are welcome.

Regards,
ChriS

--
P.S. Following the standard library, [create] should be used for
_uninitialized_ structures.  Here [make] is more standard.