object TermRef
- Companion
- class
Value members
Concrete methods
Create a term ref with given initial denotation. The name of the reference is taken from the denotation's symbol if the latter exists, or else it is the given name.
Create a term ref with given initial denotation. The name of the reference is taken from the denotation's symbol if the latter exists, or else it is the given name.