Predicate definitionOf
Gets an element, of kind kind
, that element e
uses, if any.
Import path
import definitions
Declaration definitionOf(Use use, string kind)
Gets an element, of kind kind
, that element e
uses, if any.
import definitions
Declaration definitionOf(Use use, string kind)