graphs: decls in file

Stream: general

[Johan Commelin]

Here's another graph that I would really like to see (but don't know how to generate myself):
I give the script a newline-separated list of declarations, and it gives me a dependency graph whose nodes are those declarations.

[Bryan Gin-ge Chen]

It should be possible to do this using leancrawler, but I don't know how hard it would be to write a script to do exactly what you want.

[Johan Commelin]

Yup, I guessed that leancrawler could help here... I'll see if I can find time to look into it, and make it do what I want.