Brief update: the documentation on the patch itself is much clearer than the explanation I gave in the previous email.<br><br>In point of fact, the type of the rank of a binomial tree actually corresponds very nicely to a particular type implementation of Peano numbers...<br>

<br clear="all">Louis Wasserman<br><a href="mailto:wasserman.louis@gmail.com">wasserman.louis@gmail.com</a><br><a href="http://profiles.google.com/wasserman.louis">http://profiles.google.com/wasserman.louis</a><br>