Creates a type-checked term symbol.
Creates a type-checked term symbol.
The symbol of the enclosing named entity where this term is defined.
The name of this term (will be encoded).
The type of this term (will be dealiased and widened).
Any (optional) modifiers (e.g. var, parameter, implicit, lazy).
The (optional) source code position where this term is defined.
Any (optional) annotations associated with this term.
A new type-checked term symbol.
Creates a free term symbol with the same attributes as the original.
Creates a free term symbol (without an owner).
Creates a fresh term symbol with the same attributes as the original.
Term symbols.