Predicate definitionOf
Gets an element, of kind kind, that element e uses, if any.
Attention: This predicate yields multiple definitions for a single location.
The kind is a string representing what kind of use it is:
"M"for function and method calls"T"for uses of types"V"for variable accesses"X"for macro accesses"I"for import / include directives
Import path
import definitionsTop definitionOf(Top e, string kind)