Replace noNodes with numNodes?
Is there any chance that numNodes could be added as a synonym for noNodes (and perhaps noNodes deprecated)?
noNodes really looks like "no nodes" and intuitively seems to suggest a Bool valued function which tells you whether there are no nodes in the graph!
Yeah, I've been bitten by this before. My preference however is yo use order instead.
order is better than noNodes though perhaps less familiar to people who haven't studied graph theory.
I prefer numNodes to order, but either is fine, and both are much better than noNodes (I had the same noNodes means empty confusion the first time I scanned the docs).