Constructor
new Designator()
Creates a new instance of designator.
- Source:
Methods
head()
Extracts the designator at the head of a composition. For designators that
are atomic, returns the designator itself.
- Source:
tail()
Extracts the designator made of the tail of a composition. For designators
that are atomic, returns null.
- Source: