easy way to find unused definition by `main` function

Stream: general

[Asei Inoue]

Is there an easy way to find unused definitions by main function?

[Anne Baanen]

ImportGraph defines docs#Lean.Name.transitivelyUsedConstants, so I would take all the constants (in a specific set of modules) and subtract the transitively used constants of main.