Next: Lexical literals
Up: Type Analysis
Java overloading can be resolved on the basis of operand types alone, and
therefore the Expression module should be instantiated without a
Instantiate required modules
This macro is defined in definitions 15, 26, 38, and 44.
This macro is invoked in definition 1.
This macro is invoked in definition 2.