UniqueNameKindWithUnmangle

A simple info type; some subclasses of Kind define more refined versions

The info class defined by this kind

Unmangle simple name name into a name of this kind, or return original name if this is not possible.

Does this kind define logically a new name (respectively qualified name)? Tested by the replace and collect combinators of class Name.

Generate fresh unique type name of this kind with given prefix name

Generate fresh unique term name of this kind with given prefix name

Turn a name of this kind consisting of an underlying prefix and the given info into a string. Used to turn structured into simple name.

An iterator over the names of all the elements of this product.

An iterator over all the elements of this product.

A string used for displaying the structure of a name