Defining occurrences

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

Defining occurrences[11]:

TREE SYMBOL LblIdDef INHERITS IdentOcc, IdDefScope END;
TREE SYMBOL ConIdDef INHERITS IdentOcc, IdDefScope END;
TREE SYMBOL TypIdDef INHERITS IdentOcc, IdDefScope END;
TREE SYMBOL TagIdDef INHERITS IdentOcc, IdDefScope END;
TREE SYMBOL VblIdDef INHERITS IdentOcc, IdDefScope END;
TREE SYMBOL FmlIdDef INHERITS IdentOcc, IdDefScope END;
TREE SYMBOL PrcIdDef INHERITS IdentOcc, IdDefScope END;
TREE SYMBOL FncIdDef INHERITS IdentOcc, IdDefScope END;

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