[Agda] usage of a definition

[Nils Anders Danielsson]

On 2019-11-12 19:44, Jason -Zhong Sheng- Hu wrote:
> 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.

No, I don't think we have implemented something like that.

-- 
/NAD