[Agda] usage of a definition

[Jason -Zhong Sheng- Hu]

Hi all,

is there a way to search the usage of a definition? by usage, I mean a definition is used inside of the bodies of other definitions, not just in types. note that it is more complicated than a string search, as it involves searching imported modules as well as usages of infix operators.

Thanks,
Jason Hu
https://hustmphrrr.github.io/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20191112/53e3339f/attachment.html>