15 Nov
2018
15 Nov
'18
2:28 p.m.
That is precisely correct. And I have heard that it has actually been
used that way ... once. It's not exactly a common application.
On Thu, Nov 15, 2018 at 1:39 PM Henning Thielemann
On Tue, 13 Nov 2018, David Feuer wrote:
No, genericLength is *not* a decent stopgap. It's horrible. Just look at the implementation!
It looks like it is intended to return something like a lazy Peano number.