Creates a type-checked value symbol.
Creates a type-checked value symbol.
The enclosing named entity where this value is defined.
The name of this value (will be encoded).
The type of this value (will be dealiased and widened).
Any (optional) modifiers (e.g. implicit, lazy).
The (optional) source code position where this value is defined.
Any (optional) annotations associated with this value.
A new type-checked value symbol.
Value (val) symbols.