Predicate definitions::typeLookup

Holds if ref is an identifier that refers to a type or namespace declared at decl.

predicate typeLookup(ASTNode ref, ASTNode decl, string kind)