For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if there is a declaration of this variable in tl.
tl
predicate declaredIn(TopLevel tl)