Even if size does have to traverse a list to count the elements one would expect that traversing an *empty* list should be reasonably quick. All the same, empty() does seem a bit easier on the eyes and if it wins on performance too then what the heck.
Cheers, Derek
_______________________________________________ Monotone-devel mailing list Monotone-devel@nongnu.org http://lists.nongnu.org/mailman/listinfo/monotone-devel