Jean-Christophe Filliâtre wrote: > Hum... You forgot the 13 lines for function app :-) You must admit that all > together it's quite a lot of code (37 lines).
Ugh, yeah. > The code for removal in AVLs is shorter (19 lines) and follows a simpler logic > (based on min_elt and remove_min_elt). Point taken. :-) Cheers, Jon. -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
