On Thu, 25 Nov 2004, Frédéric Gava <frederic.gava@wanadoo.fr> wrote:
> 
> > > Why an order for the fold operator ?
> >
> > Because Set.t is an ordered container,
> Ok, but it is an abstract type : you do not know how it works and
> you do not need it

As  was said,  since Set.Make  takes an  ordered structure,  there are
cases  where you  may  care to  process  your elements  in an  ordered
fashion -- it is good that  the Set module makes this promise.  If you
do not like it, ignore it.

> A Set.elements without ordering the elements would be more efficient.

Show us!

My 2¢,
ChriS