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