Applied occurrences

This specification distinguishes applied occurrences syntactically, so that the necessary computations can be inherited from the library:

Applied occurrences[12]:

TREE SYMBOL LblIdUse INHERITS IdentOcc, IdUseEnv END;
TREE SYMBOL ConIdUse INHERITS IdentOcc, IdUseEnv END;
TREE SYMBOL TypIdUse INHERITS IdentOcc, IdUseEnv END;
TREE SYMBOL PrcIdUse INHERITS IdentOcc, IdUseEnv END;
TREE SYMBOL FncIdUse INHERITS IdentOcc, IdUseEnv END;
TREE SYMBOL ExpIdUse INHERITS IdentOcc, IdUseEnv END;

This macro is defined in definitions 12.
This macro is invoked in definition 2.