From b7edcf82c9a19081730fb8d4b353d31f36d81dc7 Mon Sep 17 00:00:00 2001
From: dotty-bot null
.
null
.
- sd:
+ sym:
- SingleDenotation
+ Symbol
)
@@ -9556,12 +9871,12 @@ was created, otherwise null
.
Textual representation of single denotation's declaration
+Textual representation of symbol's declaration
Textual representation of single denotation's declaration
+Textual representation of symbol's declaration
null
.
null
.
- sym:
+ sd:
- Symbol
+ SingleDenotation
)
@@ -9619,12 +9934,12 @@ was created, otherwise null
.
Textual representation of symbol's declaration
+Textual representation of single denotation's declaration
Textual representation of symbol's declaration
+Textual representation of single denotation's declaration
The name of the given symbol. -If !settings.debug, the original name where -expansions of operators are translated back to operator symbol. -E.g. $eq => =. -I...
+The name, possibley with with namespace suffix if debugNames is set: +/L for local names, /V for other term names, /T for type names
The name of the given symbol. -If !settings.debug, the original name where -expansions of operators are translated back to operator symbol. -E.g. $eq => =. -If settings.uniqid, adds id.
+The name, possibley with with namespace suffix if debugNames is set: +/L for local names, /V for other term names, /T for type names
The name, possibley with with namespace suffix if debugNames is set: -/L for local names, /V for other term names, /T for type names
+The name of the given symbol. +If !settings.debug, the original name where +expansions of operators are translated back to operator symbol. +E.g. $eq => =. +I...
The name, possibley with with namespace suffix if debugNames is set: -/L for local names, /V for other term names, /T for type names
+The name of the given symbol. +If !settings.debug, the original name where +expansions of operators are translated back to operator symbol. +E.g. $eq => =. +If settings.uniqid, adds id.
Textual representation of annotation
+Textual representation of info relating to an import clause
Textual representation of annotation
+Textual representation of info relating to an import clause
Textual representation of tree
+The name as a text
Textual representation of tree
+The name as a text
Textual representation of info relating to an import clause
+Textual representation of constant
Textual representation of info relating to an import clause
+Textual representation of constant
Textual representation of implicit search result
+Textual representation of type
Textual representation of implicit search result
+Textual representation of type
The name as a text
+Textual representation of tree
The name as a text
+Textual representation of tree
Textual representation of type
+Textual representation of implicit search result
Textual representation of type
+Textual representation of implicit search result
Textual representation of denotation
+Textual representation of annotation
Textual representation of denotation
+Textual representation of annotation
Textual representation of constant
+Textual representation of denotation
Textual representation of constant
+Textual representation of denotation