Predicate refInTopLevel
Gets a reference to var (if kind is Ref()) or declaration of
var (if kind is Decl()) in tl.
Import path
import Declarations.DeclarationsVarRef refInTopLevel(Variable var, RefKind kind, TopLevel tl)Gets a reference to var (if kind is Ref()) or declaration of
var (if kind is Decl()) in tl.
import Declarations.DeclarationsVarRef refInTopLevel(Variable var, RefKind kind, TopLevel tl)