Predicate firstRefInTopLevel
Gets the textually first reference to var
(if kind
is Ref()
) or
declaration of var
(if kind
is Decl()
) in tl
.
Import path
import Declarations.Declarations
VarRef firstRefInTopLevel(Variable var, RefKind kind, TopLevel tl)