UniqueNameKind
The kind of unique names that consist of an underlying name (can be empty), a separator indicating the class of unique name, and a unique number.
A unique names always constitutes a new name, different from its underlying name.
trait Serializable
trait Product
trait Equals
class NumberedNameKind
class NameKind
class Object
trait Matchable
class Any
Type members
Inherited classlikes
A simple info type; some subclasses of Kind define more refined versions
A simple info type; some subclasses of Kind define more refined versions
- Inherited from:
- NameKind
Inherited types
Value members
Concrete methods
Generate fresh unique term name of this kind with given prefix name
Generate fresh unique term name of this kind with given prefix name
Inherited methods
Unmangle simple name name
into a name of this kind, or return
original name if this is not possible.
Unmangle simple name name
into a name of this kind, or return
original name if this is not possible.
- Inherited from:
- NameKind