Role

WITH-entry.

Parameters:

• Ref - a reference value identifying the object.

Fields:

• Self - a reference value referring to the object itself.
• Name.

FORALL-Subentries:

• Assignments - the assignments that belong to this assignment list.