name property

String name
final

The functor name of the term.

Implementation

final String name;