Symbols for crosss-project jump-to-definition resolution.
Part of the combined points-to, call-graph and type-inference library. The main relation
Library for SSA representation (Static Single Assignment form).
A “symbol” referencing an object in another module Symbols are represented by the module name and the dotted name by which the object would be referred to in that module. For example for the code: