Olivier Andrieu wanted to build a Set of functional values but had problems
with the comparison of these values.

One solution would be to have a Set of pairs. The first element would be a
functional value and the second something of a simple type (like integer).
Then you define your comparison function only to use this second element.
The only inconvenience is that you have always to select explicitly the first
element of such pairs to get the functional value; but you can hide this
inside a module build around Set.
hope this is of some help

pfitzen

-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr