Class: Designator

Designator()

Abstract class representing all functions that extract parts of an object.

Methods

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: