Names for terms, can be simple or derived
A type for names of the same kind as this name
This name downcasted to a term name
This name downcasted to a type name
A derived name consisting of this name and the added info, unless it is already present in this name.
This name without any info of the given
kind. Excepted, as always,
is the underlying name part of a qualified name.
Does this name contain an info of the given kind? Excepted, as always, is the underlying name part of a qualified name.
Is this name a term name?
Is this name a type name?
A name in the same (term or type) namespace as this name and
with same characters as given
This name converted to a simple term name and in addition with all symbolic operator characters expanded.
Convert to string after mangling
Convert to string as follows. If this is a qualified name
<first> <sep> <last>, the sanitized version of
f1(<first>) <sep> f2(<last>).
f2 applied to this name.
Is it impossible that names of kind
kind also qualify as names of kind
If this a qualified name, split it into underlyng, last part, and separator Otherwise return an empty name, the name itself, and "")
This name converted to a term name
This name converted to a type name
The name unary_x for a prefix operator x