Hello, I would like to know if anyone has implemented or knows of a freely available implementation of backtracking iterators for the Set. I was thinking of something as described by Jean-Christophe Filliâtre article [1].
TIA, Hugo F. [1] http://www.lri.fr/~filliatr/publis/enum2.ps.gz --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "ocaml-developer" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/ocaml-developer?hl=en For other OCaml forums, see http://caml.inria.fr/resources/forums.en.html -~----------~----~----~----~------~----~------~--~---
