Create term ref with given name, without specifying a signature.
Create term ref with given name, without specifying a signature. Its meaning is the (potentially multi-) denotation of the member(s) of prefix with given name.
Create term ref to given initial denotation, taking the signature from the denotation if it is completed, or creating a term ref without signature, if denotation is not yet completed.
Create term ref referring to given symbol, taking the signature from the symbol if it is completed, or creating a term ref without signature, if symbol is not yet completed.
Create a non-member term ref (which cannot be reloaded using member
),
with given prefix, name, and signature
Create a term ref with given prefix, name and signature
Create a term ref to given symbol, taking the signature from the symbol (which must be completed).
Create a term ref with given prefix, name, signature, and initial denotation
Create a term ref referring to given symbol with given name, taking the signature from the symbol if it is completed, or creating a term ref without signature, if symbol is not yet completed.
Create a term ref referring to given symbol with given name, taking the signature from the symbol if it is completed, or creating a term ref without signature, if symbol is not yet completed. This is very similar to TermRef(Type, Symbol), except for two differences: (1) The symbol might not yet have a denotation, so the name needs to be given explicitly. (2) The name in the term ref need not be the same as the name of the Symbol.