Class: Unknown

Unknown()

A special designator that designates "unknown".

Constructor

new Unknown()

Hierarchy

Designator
- Unknown

Source:

modules/designator.mjs, line 96

Extends

Designator

Methods

head()

Extracts the designator at the head of a composition. For designators that are atomic, returns the designator itself.

Overrides:

Designator#head

Source:

modules/designator.mjs, line 49

tail()

Extracts the designator made of the tail of a composition. For designators that are atomic, returns null.

Overrides:

Designator#tail

Source:

modules/designator.mjs, line 57