aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/printing
diff options
context:
space:
mode:
authordotty-bot <felix.mulder@epfl.ch>2017-04-06 11:45:14 +0000
committerdotty-bot <felix.mulder@epfl.ch>2017-04-06 11:45:14 +0000
commitdd15dccbfc82ba4f02b3473fd85cf8fe720a3a5c (patch)
treed84fc1ff8ac09197b0d2bc36432e8b49706763c8 /api/dotty/tools/dotc/printing
parent1c334b12934f39dcc3e20a0d39bb434ddc065918 (diff)
downloaddotty-dd15dccbfc82ba4f02b3473fd85cf8fe720a3a5c.tar.gz
dotty-dd15dccbfc82ba4f02b3473fd85cf8fe720a3a5c.tar.bz2
dotty-dd15dccbfc82ba4f02b3473fd85cf8fe720a3a5c.zip
Update gh-pages site for 62c2a1e2d6265cf7f096e4c4e51e4e883bce1514
Diffstat (limited to 'api/dotty/tools/dotc/printing')
-rw-r--r--api/dotty/tools/dotc/printing/Formatting$.html20
-rw-r--r--api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html10
-rw-r--r--api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html10
-rw-r--r--api/dotty/tools/dotc/printing/Formatting$/Seen.html10
-rw-r--r--api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html10
-rw-r--r--api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Black$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Black.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/BlackB.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Blue$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Blue.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/BlueB.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Bold$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Bold.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Cyan.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/CyanB.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Green$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Green.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/GreenB.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Highlight.html566
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Magenta.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Modifier.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/NoColor.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Red$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Red.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/RedB$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/RedB.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Underlined.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/White$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/White.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Yellow.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/YellowB.html10
-rw-r--r--api/dotty/tools/dotc/printing/PlainPrinter.html10
-rw-r--r--api/dotty/tools/dotc/printing/Printer.html10
-rw-r--r--api/dotty/tools/dotc/printing/Printers.html10
-rw-r--r--api/dotty/tools/dotc/printing/RefinedPrinter.html10
-rw-r--r--api/dotty/tools/dotc/printing/Showable.html10
-rw-r--r--api/dotty/tools/dotc/printing/SyntaxHighlighting$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Texts$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Closed.html10
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Fluid$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Fluid.html10
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Str$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Str.html10
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Text$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Text.html10
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Vertical$.html10
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Vertical.html10
-rw-r--r--api/dotty/tools/dotc/printing/index.html10
66 files changed, 943 insertions, 283 deletions
diff --git a/api/dotty/tools/dotc/printing/Formatting$.html b/api/dotty/tools/dotc/printing/Formatting$.html
index dd9b1b762..f113560e5 100644
--- a/api/dotty/tools/dotc/printing/Formatting$.html
+++ b/api/dotty/tools/dotc/printing/Formatting$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
@@ -5916,9 +5926,9 @@ where: T is a type in the initalizer of value s which is an alias of
</script>
</div><!-- end member -->
- <div id="explained2(op)(ctx)" class="member ">
+ <div id="explained(op)(ctx)" class="member ">
<div class="member-title">
- <span class="expand-button " onclick="toggleMemberBody(this, 'explained2(op)(ctx)');">[+]</span>
+ <span class="expand-button " onclick="toggleMemberBody(this, 'explained(op)(ctx)');">[+]</span>
<span class="member-annotations">
</span>
@@ -5930,7 +5940,7 @@ where: T is a type in the initalizer of value s which is an alias of
</span>
<span class="member-name ">
- explained2
+ explained
</span>
@@ -5970,11 +5980,11 @@ where: T is a type in the initalizer of value s which is an alias of
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-explained2(op)(ctx)">
+ <div class="member-body-short" id="short-body-explained(op)(ctx)">
<p>Entrypoint for explanation string interpolator:</p>
</div>
- <div class="member-body-long" id ="long-body-explained2(op)(ctx)">
+ <div class="member-body-long" id ="long-body-explained(op)(ctx)">
<p>Entrypoint for explanation string interpolator:</p>
<pre><code>ex&quot;disambiguate $tpe1 and $tpe2&quot;
</code></pre>
diff --git a/api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html b/api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html
index cfaf4a8df..ea86235ab 100644
--- a/api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html
+++ b/api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html b/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html
index 6be0e1be5..3132d7398 100644
--- a/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html
+++ b/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Formatting$/Seen.html b/api/dotty/tools/dotc/printing/Formatting$/Seen.html
index e4e442934..f07d7d50e 100644
--- a/api/dotty/tools/dotc/printing/Formatting$/Seen.html
+++ b/api/dotty/tools/dotc/printing/Formatting$/Seen.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html b/api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html
index 232cd3437..41b611b55 100644
--- a/api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html
+++ b/api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html b/api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html
index 523c7d912..927935c66 100644
--- a/api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html
+++ b/api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$.html b/api/dotty/tools/dotc/printing/Highlighting$.html
index cefb023cb..c64602608 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Black$.html b/api/dotty/tools/dotc/printing/Highlighting$/Black$.html
index 4765b892f..2513f9d28 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Black$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Black$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Black.html b/api/dotty/tools/dotc/printing/Highlighting$/Black.html
index c0570b89e..f22e866ea 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Black.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Black.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html b/api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html
index cbd414516..22eacbf4f 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/BlackB.html b/api/dotty/tools/dotc/printing/Highlighting$/BlackB.html
index 89b30bcec..7dd024433 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/BlackB.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/BlackB.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Blue$.html b/api/dotty/tools/dotc/printing/Highlighting$/Blue$.html
index 41dd2a74c..e9d3ec081 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Blue$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Blue$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Blue.html b/api/dotty/tools/dotc/printing/Highlighting$/Blue.html
index 5eac30c0a..81fe91915 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Blue.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Blue.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html b/api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html
index bbd825fb7..95ed78591 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/BlueB.html b/api/dotty/tools/dotc/printing/Highlighting$/BlueB.html
index b42d903f5..00e44e452 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/BlueB.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/BlueB.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Bold$.html b/api/dotty/tools/dotc/printing/Highlighting$/Bold$.html
index aafc93fc4..9e7b02cdd 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Bold$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Bold$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Bold.html b/api/dotty/tools/dotc/printing/Highlighting$/Bold.html
index 964f780ea..d1b8ca6db 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Bold.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Bold.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html b/api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html
index d313b877a..4e31d6c47 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Cyan.html b/api/dotty/tools/dotc/printing/Highlighting$/Cyan.html
index 2a6bf55e4..49609f7e2 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Cyan.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Cyan.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html b/api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html
index 7fbe66719..f3227a9df 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/CyanB.html b/api/dotty/tools/dotc/printing/Highlighting$/CyanB.html
index a56dbe08d..91ae2e7bf 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/CyanB.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/CyanB.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Green$.html b/api/dotty/tools/dotc/printing/Highlighting$/Green$.html
index 1dec0d320..ba02ad7c1 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Green$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Green$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Green.html b/api/dotty/tools/dotc/printing/Highlighting$/Green.html
index 5e67f4f00..edc9f8285 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Green.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Green.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html b/api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html
index da7da2f47..53225a051 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/GreenB.html b/api/dotty/tools/dotc/printing/Highlighting$/GreenB.html
index 5c2df3d9e..ea464770e 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/GreenB.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/GreenB.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html b/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html
index 274b8dc72..3236c20ee 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
@@ -5467,25 +5477,18 @@
<span class="no-left">
x$0:
</span>
- String
+ Array
+<span class="no-left no-right">[</span>
+Byte
+<span class="no-left">]</span>
+
+ <span class="no-left">, </span>
- <span class="no-left">)</span>
- </div>
- </div>
-
-
-
- <div class="member">
- <div class="member-title">
- <span class="member-name">Highlight</span>
- <span class="no-left">(</span>
-
-
- <span class="no-left">
- x$0:
+ <span class="">
+ x$1:
</span>
- StringBuilder
+ Charset
<span class="no-left">)</span>
@@ -5505,7 +5508,7 @@
</span>
Array
<span class="no-left no-right">[</span>
-Byte
+Int
<span class="no-left">]</span>
<span class="no-left">, </span>
@@ -5524,14 +5527,6 @@ Byte
</span>
Int
- <span class="no-left">, </span>
-
-
- <span class="">
- x$3:
- </span>
- Int
-
<span class="no-left">)</span>
</div>
@@ -5550,17 +5545,9 @@ Byte
</span>
Array
<span class="no-left no-right">[</span>
-Byte
+Char
<span class="no-left">]</span>
- <span class="no-left">, </span>
-
-
- <span class="">
- x$1:
- </span>
- Charset
-
<span class="no-left">)</span>
</div>
@@ -5579,7 +5566,7 @@ Byte
</span>
Array
<span class="no-left no-right">[</span>
-Char
+Byte
<span class="no-left">]</span>
@@ -5625,7 +5612,7 @@ Byte
<span class="">
x$3:
</span>
- Charset
+ String
<span class="no-left">)</span>
@@ -5643,18 +5630,7 @@ Byte
<span class="no-left">
x$0:
</span>
- Array
-<span class="no-left no-right">[</span>
-Char
-<span class="no-left">]</span>
-
- <span class="no-left">, </span>
-
-
- <span class="">
- x$1:
- </span>
- Boolean
+ String
<span class="no-left">)</span>
@@ -5672,18 +5648,7 @@ Char
<span class="no-left">
x$0:
</span>
- Array
-<span class="no-left no-right">[</span>
-Byte
-<span class="no-left">]</span>
-
- <span class="no-left">, </span>
-
-
- <span class="">
- x$1:
- </span>
- Int
+ StringBuffer
<span class="no-left">)</span>
@@ -5701,18 +5666,7 @@ Byte
<span class="no-left">
x$0:
</span>
- Array
-<span class="no-left no-right">[</span>
-Byte
-<span class="no-left">]</span>
-
- <span class="no-left">, </span>
-
-
- <span class="">
- x$1:
- </span>
- String
+ StringBuilder
<span class="no-left">)</span>
@@ -5735,18 +5689,30 @@ Byte
Byte
<span class="no-left">]</span>
+ <span class="no-left">, </span>
+
- <span class="no-left">)</span>
- </div>
- </div>
-
-
-
- <div class="member">
- <div class="member-title">
- <span class="member-name">Highlight</span>
- <span class="no-left">(</span>
+ <span class="">
+ x$1:
+ </span>
+ Int
+
+ <span class="no-left">, </span>
+
+ <span class="">
+ x$2:
+ </span>
+ Int
+
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ x$3:
+ </span>
+ Int
+
<span class="no-left">)</span>
</div>
@@ -5784,14 +5750,6 @@ Byte
</span>
Int
- <span class="no-left">, </span>
-
-
- <span class="">
- x$3:
- </span>
- String
-
<span class="no-left">)</span>
</div>
@@ -5819,15 +5777,36 @@ Char
<span class="">
x$1:
</span>
- Int
+ Boolean
+
+
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
+
+ <div class="member">
+ <div class="member-title">
+ <span class="member-name">Highlight</span>
+ <span class="no-left">(</span>
+
+
+ <span class="no-left">
+ x$0:
+ </span>
+ Array
+<span class="no-left no-right">[</span>
+Byte
+<span class="no-left">]</span>
<span class="no-left">, </span>
<span class="">
- x$2:
+ x$1:
</span>
- Int
+ String
<span class="no-left">)</span>
@@ -5842,12 +5821,24 @@ Char
<span class="no-left">(</span>
+ <span class="no-left">)</span>
+ </div>
+ </div>
+
+
+
+ <div class="member">
+ <div class="member-title">
+ <span class="member-name">Highlight</span>
+ <span class="no-left">(</span>
+
+
<span class="no-left">
x$0:
</span>
Array
<span class="no-left no-right">[</span>
-Int
+Byte
<span class="no-left">]</span>
<span class="no-left">, </span>
@@ -5866,6 +5857,14 @@ Int
</span>
Int
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ x$3:
+ </span>
+ Charset
+
<span class="no-left">)</span>
</div>
@@ -5884,7 +5883,7 @@ Int
</span>
Array
<span class="no-left no-right">[</span>
-Byte
+Char
<span class="no-left">]</span>
<span class="no-left">, </span>
@@ -5919,7 +5918,18 @@ Byte
<span class="no-left">
x$0:
</span>
- StringBuffer
+ Array
+<span class="no-left no-right">[</span>
+Byte
+<span class="no-left">]</span>
+
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ x$1:
+ </span>
+ Int
<span class="no-left">)</span>
@@ -6879,7 +6889,7 @@ Byte
<span class="no-left">
x$0:
</span>
- StringBuffer
+ CharSequence
<span class="no-left">)</span>
@@ -6940,7 +6950,7 @@ Byte
<span class="no-left">
x$0:
</span>
- CharSequence
+ StringBuffer
<span class="no-left">)</span>
@@ -7274,11 +7284,11 @@ Byte
</script>
</div><!-- end member -->
- <div id="getBytes(x$0,x$1,x$2,x$3)" class="member ">
+ <div id="getBytes()" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getBytes(x$0,x$1,x$2,x$3)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getBytes()');">[+]</span>
<span class="member-annotations">
- @Deprecated @deprecated
+
</span>
<span class="member-modifiers">
@@ -7297,39 +7307,6 @@ Byte
<span class="no-left">(</span>
- <span class="no-left">
- x$0:
- </span>
- Int
-
- <span class="no-left">, </span>
-
-
- <span class="">
- x$1:
- </span>
- Int
-
- <span class="no-left">, </span>
-
-
- <span class="">
- x$2:
- </span>
- Array
-<span class="no-left no-right">[</span>
-Byte
-<span class="no-left">]</span>
-
- <span class="no-left">, </span>
-
-
- <span class="">
- x$3:
- </span>
- Int
-
-
<span class="no-left">)</span>
@@ -7337,15 +7314,18 @@ Byte
- <span class="no-left">: Unit</span>
+ <span class="no-left">: Array
+<span class="no-left no-right">[</span>
+Byte
+<span class="no-left">]</span></span>
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-getBytes(x$0,x$1,x$2,x$3)">
+ <div class="member-body-short" id="short-body-getBytes()">
</div>
- <div class="member-body-long" id ="long-body-getBytes(x$0,x$1,x$2,x$3)">
+ <div class="member-body-long" id ="long-body-getBytes()">
</div>
</div>
@@ -7366,7 +7346,7 @@ Byte
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'getBytes(x$0)');">[+]</span>
<span class="member-annotations">
-
+ @throws
</span>
<span class="member-modifiers">
@@ -7388,7 +7368,7 @@ Byte
<span class="no-left">
x$0:
</span>
- Charset
+ String
<span class="no-left">)</span>
@@ -7426,11 +7406,11 @@ Byte
</script>
</div><!-- end member -->
- <div id="getBytes()" class="member ">
+ <div id="getBytes(x$0,x$1,x$2,x$3)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getBytes()');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getBytes(x$0,x$1,x$2,x$3)');">[+]</span>
<span class="member-annotations">
-
+ @Deprecated @deprecated
</span>
<span class="member-modifiers">
@@ -7449,6 +7429,39 @@ Byte
<span class="no-left">(</span>
+ <span class="no-left">
+ x$0:
+ </span>
+ Int
+
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ x$1:
+ </span>
+ Int
+
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ x$2:
+ </span>
+ Array
+<span class="no-left no-right">[</span>
+Byte
+<span class="no-left">]</span>
+
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ x$3:
+ </span>
+ Int
+
+
<span class="no-left">)</span>
@@ -7456,18 +7469,15 @@ Byte
- <span class="no-left">: Array
-<span class="no-left no-right">[</span>
-Byte
-<span class="no-left">]</span></span>
+ <span class="no-left">: Unit</span>
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-getBytes()">
+ <div class="member-body-short" id="short-body-getBytes(x$0,x$1,x$2,x$3)">
</div>
- <div class="member-body-long" id ="long-body-getBytes()">
+ <div class="member-body-long" id ="long-body-getBytes(x$0,x$1,x$2,x$3)">
</div>
</div>
@@ -7488,7 +7498,7 @@ Byte
<div class="member-title">
<span class="expand-button invisible" onclick="toggleMemberBody(this, 'getBytes(x$0)');">[+]</span>
<span class="member-annotations">
- @throws
+
</span>
<span class="member-modifiers">
@@ -7510,7 +7520,7 @@ Byte
<span class="no-left">
x$0:
</span>
- String
+ Charset
<span class="no-left">)</span>
@@ -7548,9 +7558,9 @@ Byte
</script>
</div><!-- end member -->
- <div id="getChars(x$0,x$1,x$2,x$3)" class="member ">
+ <div id="getChars(x$0,x$1)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getChars(x$0,x$1,x$2,x$3)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getChars(x$0,x$1)');">[+]</span>
<span class="member-annotations">
</span>
@@ -7574,22 +7584,6 @@ Byte
<span class="no-left">
x$0:
</span>
- Int
-
- <span class="no-left">, </span>
-
-
- <span class="">
- x$1:
- </span>
- Int
-
- <span class="no-left">, </span>
-
-
- <span class="">
- x$2:
- </span>
Array
<span class="no-left no-right">[</span>
Char
@@ -7599,7 +7593,7 @@ Char
<span class="">
- x$3:
+ x$1:
</span>
Int
@@ -7616,10 +7610,10 @@ Char
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-getChars(x$0,x$1,x$2,x$3)">
+ <div class="member-body-short" id="short-body-getChars(x$0,x$1)">
</div>
- <div class="member-body-long" id ="long-body-getChars(x$0,x$1,x$2,x$3)">
+ <div class="member-body-long" id ="long-body-getChars(x$0,x$1)">
</div>
</div>
@@ -7636,9 +7630,9 @@ Char
</script>
</div><!-- end member -->
- <div id="getChars(x$0,x$1)" class="member ">
+ <div id="getChars(x$0,x$1,x$2,x$3)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getChars(x$0,x$1)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'getChars(x$0,x$1,x$2,x$3)');">[+]</span>
<span class="member-annotations">
</span>
@@ -7662,6 +7656,22 @@ Char
<span class="no-left">
x$0:
</span>
+ Int
+
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ x$1:
+ </span>
+ Int
+
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ x$2:
+ </span>
Array
<span class="no-left no-right">[</span>
Char
@@ -7671,7 +7681,7 @@ Char
<span class="">
- x$1:
+ x$3:
</span>
Int
@@ -7688,10 +7698,10 @@ Char
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-getChars(x$0,x$1)">
+ <div class="member-body-short" id="short-body-getChars(x$0,x$1,x$2,x$3)">
</div>
- <div class="member-body-long" id ="long-body-getChars(x$0,x$1)">
+ <div class="member-body-long" id ="long-body-getChars(x$0,x$1,x$2,x$3)">
</div>
</div>
@@ -7789,7 +7799,7 @@ Char
<span class="no-left">
x$0:
</span>
- String
+ Int
<span class="no-left">)</span>
@@ -7824,9 +7834,9 @@ Char
</script>
</div><!-- end member -->
- <div id="indexOf(x$0)" class="member ">
+ <div id="indexOf(x$0,x$1)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'indexOf(x$0)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'indexOf(x$0,x$1)');">[+]</span>
<span class="member-annotations">
</span>
@@ -7852,6 +7862,14 @@ Char
</span>
Int
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ x$1:
+ </span>
+ Int
+
<span class="no-left">)</span>
@@ -7865,10 +7883,10 @@ Char
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-indexOf(x$0)">
+ <div class="member-body-short" id="short-body-indexOf(x$0,x$1)">
</div>
- <div class="member-body-long" id ="long-body-indexOf(x$0)">
+ <div class="member-body-long" id ="long-body-indexOf(x$0,x$1)">
</div>
</div>
@@ -7911,7 +7929,7 @@ Char
<span class="no-left">
x$0:
</span>
- Int
+ String
<span class="no-left">, </span>
@@ -7954,9 +7972,9 @@ Char
</script>
</div><!-- end member -->
- <div id="indexOf(x$0,x$1)" class="member ">
+ <div id="indexOf(x$0)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'indexOf(x$0,x$1)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'indexOf(x$0)');">[+]</span>
<span class="member-annotations">
</span>
@@ -7982,14 +8000,6 @@ Char
</span>
String
- <span class="no-left">, </span>
-
-
- <span class="">
- x$1:
- </span>
- Int
-
<span class="no-left">)</span>
@@ -8003,10 +8013,10 @@ Char
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-indexOf(x$0,x$1)">
+ <div class="member-body-short" id="short-body-indexOf(x$0)">
</div>
- <div class="member-body-long" id ="long-body-indexOf(x$0,x$1)">
+ <div class="member-body-long" id ="long-body-indexOf(x$0)">
</div>
</div>
@@ -8202,9 +8212,9 @@ Char
</script>
</div><!-- end member -->
- <div id="lastIndexOf(x$0,x$1)" class="member ">
+ <div id="lastIndexOf(x$0)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'lastIndexOf(x$0,x$1)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'lastIndexOf(x$0)');">[+]</span>
<span class="member-annotations">
</span>
@@ -8228,14 +8238,6 @@ Char
<span class="no-left">
x$0:
</span>
- String
-
- <span class="no-left">, </span>
-
-
- <span class="">
- x$1:
- </span>
Int
@@ -8251,10 +8253,10 @@ Char
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-lastIndexOf(x$0,x$1)">
+ <div class="member-body-short" id="short-body-lastIndexOf(x$0)">
</div>
- <div class="member-body-long" id ="long-body-lastIndexOf(x$0,x$1)">
+ <div class="member-body-long" id ="long-body-lastIndexOf(x$0)">
</div>
</div>
@@ -8332,9 +8334,9 @@ Char
</script>
</div><!-- end member -->
- <div id="lastIndexOf(x$0)" class="member ">
+ <div id="lastIndexOf(x$0,x$1)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'lastIndexOf(x$0)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'lastIndexOf(x$0,x$1)');">[+]</span>
<span class="member-annotations">
</span>
@@ -8358,6 +8360,14 @@ Char
<span class="no-left">
x$0:
</span>
+ String
+
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ x$1:
+ </span>
Int
@@ -8373,10 +8383,10 @@ Char
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-lastIndexOf(x$0)">
+ <div class="member-body-short" id="short-body-lastIndexOf(x$0,x$1)">
</div>
- <div class="member-body-long" id ="long-body-lastIndexOf(x$0)">
+ <div class="member-body-long" id ="long-body-lastIndexOf(x$0,x$1)">
</div>
</div>
@@ -9266,9 +9276,9 @@ Char
</script>
</div><!-- end member -->
- <div id="split(x$0)" class="member ">
+ <div id="split(x$0,x$1)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'split(x$0)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'split(x$0,x$1)');">[+]</span>
<span class="member-annotations">
</span>
@@ -9294,6 +9304,14 @@ Char
</span>
String
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ x$1:
+ </span>
+ Int
+
<span class="no-left">)</span>
@@ -9310,10 +9328,10 @@ String
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-split(x$0)">
+ <div class="member-body-short" id="short-body-split(x$0,x$1)">
</div>
- <div class="member-body-long" id ="long-body-split(x$0)">
+ <div class="member-body-long" id ="long-body-split(x$0,x$1)">
</div>
</div>
@@ -9330,9 +9348,9 @@ String
</script>
</div><!-- end member -->
- <div id="split(x$0,x$1)" class="member ">
+ <div id="split(x$0)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'split(x$0,x$1)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'split(x$0)');">[+]</span>
<span class="member-annotations">
</span>
@@ -9358,14 +9376,6 @@ String
</span>
String
- <span class="no-left">, </span>
-
-
- <span class="">
- x$1:
- </span>
- Int
-
<span class="no-left">)</span>
@@ -9382,10 +9392,10 @@ String
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-split(x$0,x$1)">
+ <div class="member-body-short" id="short-body-split(x$0)">
</div>
- <div class="member-body-long" id ="long-body-split(x$0,x$1)">
+ <div class="member-body-long" id ="long-body-split(x$0)">
</div>
</div>
@@ -9601,9 +9611,9 @@ String
</script>
</div><!-- end member -->
- <div id="substring(x$0,x$1)" class="member ">
+ <div id="substring(x$0)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'substring(x$0,x$1)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'substring(x$0)');">[+]</span>
<span class="member-annotations">
</span>
@@ -9629,14 +9639,6 @@ String
</span>
Int
- <span class="no-left">, </span>
-
-
- <span class="">
- x$1:
- </span>
- Int
-
<span class="no-left">)</span>
@@ -9650,10 +9652,10 @@ String
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-substring(x$0,x$1)">
+ <div class="member-body-short" id="short-body-substring(x$0)">
</div>
- <div class="member-body-long" id ="long-body-substring(x$0,x$1)">
+ <div class="member-body-long" id ="long-body-substring(x$0)">
</div>
</div>
@@ -9670,9 +9672,9 @@ String
</script>
</div><!-- end member -->
- <div id="substring(x$0)" class="member ">
+ <div id="substring(x$0,x$1)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'substring(x$0)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'substring(x$0,x$1)');">[+]</span>
<span class="member-annotations">
</span>
@@ -9698,6 +9700,14 @@ String
</span>
Int
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ x$1:
+ </span>
+ Int
+
<span class="no-left">)</span>
@@ -9711,10 +9721,10 @@ String
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-substring(x$0)">
+ <div class="member-body-short" id="short-body-substring(x$0,x$1)">
</div>
- <div class="member-body-long" id ="long-body-substring(x$0)">
+ <div class="member-body-long" id ="long-body-substring(x$0,x$1)">
</div>
</div>
@@ -9898,9 +9908,9 @@ Char
</script>
</div><!-- end member -->
- <div id="toLowerCase()" class="member ">
+ <div id="toLowerCase(x$0)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toLowerCase()');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toLowerCase(x$0)');">[+]</span>
<span class="member-annotations">
</span>
@@ -9921,6 +9931,12 @@ Char
<span class="no-left">(</span>
+ <span class="no-left">
+ x$0:
+ </span>
+ Locale
+
+
<span class="no-left">)</span>
@@ -9933,10 +9949,10 @@ Char
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-toLowerCase()">
+ <div class="member-body-short" id="short-body-toLowerCase(x$0)">
</div>
- <div class="member-body-long" id ="long-body-toLowerCase()">
+ <div class="member-body-long" id ="long-body-toLowerCase(x$0)">
</div>
</div>
@@ -9953,9 +9969,9 @@ Char
</script>
</div><!-- end member -->
- <div id="toLowerCase(x$0)" class="member ">
+ <div id="toLowerCase()" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toLowerCase(x$0)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toLowerCase()');">[+]</span>
<span class="member-annotations">
</span>
@@ -9976,12 +9992,6 @@ Char
<span class="no-left">(</span>
- <span class="no-left">
- x$0:
- </span>
- Locale
-
-
<span class="no-left">)</span>
@@ -9994,10 +10004,10 @@ Char
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-toLowerCase(x$0)">
+ <div class="member-body-short" id="short-body-toLowerCase()">
</div>
- <div class="member-body-long" id ="long-body-toLowerCase(x$0)">
+ <div class="member-body-long" id ="long-body-toLowerCase()">
</div>
</div>
@@ -10288,9 +10298,9 @@ Char
</script>
</div><!-- end member -->
- <div id="wait(x$0,x$1)" class="member ">
+ <div id="wait()" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'wait(x$0,x$1)');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'wait()');">[+]</span>
<span class="member-annotations">
</span>
@@ -10311,20 +10321,6 @@ Char
<span class="no-left">(</span>
- <span class="no-left">
- x$0:
- </span>
- Long
-
- <span class="no-left">, </span>
-
-
- <span class="">
- x$1:
- </span>
- Int
-
-
<span class="no-left">)</span>
@@ -10337,10 +10333,10 @@ Char
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-wait(x$0,x$1)">
+ <div class="member-body-short" id="short-body-wait()">
</div>
- <div class="member-body-long" id ="long-body-wait(x$0,x$1)">
+ <div class="member-body-long" id ="long-body-wait()">
</div>
</div>
@@ -10418,9 +10414,9 @@ Char
</script>
</div><!-- end member -->
- <div id="wait()" class="member ">
+ <div id="wait(x$0,x$1)" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, 'wait()');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, 'wait(x$0,x$1)');">[+]</span>
<span class="member-annotations">
</span>
@@ -10441,6 +10437,20 @@ Char
<span class="no-left">(</span>
+ <span class="no-left">
+ x$0:
+ </span>
+ Long
+
+ <span class="no-left">, </span>
+
+
+ <span class="">
+ x$1:
+ </span>
+ Int
+
+
<span class="no-left">)</span>
@@ -10453,10 +10463,10 @@ Char
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-wait()">
+ <div class="member-body-short" id="short-body-wait(x$0,x$1)">
</div>
- <div class="member-body-long" id ="long-body-wait()">
+ <div class="member-body-long" id ="long-body-wait(x$0,x$1)">
</div>
</div>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html b/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html
index 3e0a0e0fb..e47a826ec 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html b/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html
index 256e68fe9..bc698f01b 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html b/api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html
index 8008155be..912cb1ad7 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Magenta.html b/api/dotty/tools/dotc/printing/Highlighting$/Magenta.html
index 613b7de80..d1ae31164 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Magenta.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Magenta.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html b/api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html
index 4756de902..6e6486de3 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html b/api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html
index 747604006..81fbc9f56 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Modifier.html b/api/dotty/tools/dotc/printing/Highlighting$/Modifier.html
index d8351b6a5..b98b1eb51 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Modifier.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Modifier.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html b/api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html
index a631c23f0..7c7fa817a 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/NoColor.html b/api/dotty/tools/dotc/printing/Highlighting$/NoColor.html
index d9a2b91ed..2a6261d10 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/NoColor.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/NoColor.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Red$.html b/api/dotty/tools/dotc/printing/Highlighting$/Red$.html
index a07adce42..b24d350b1 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Red$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Red$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Red.html b/api/dotty/tools/dotc/printing/Highlighting$/Red.html
index f37f80657..8b0b929c9 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Red.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Red.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/RedB$.html b/api/dotty/tools/dotc/printing/Highlighting$/RedB$.html
index ad37393bf..0decfeb2d 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/RedB$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/RedB$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/RedB.html b/api/dotty/tools/dotc/printing/Highlighting$/RedB.html
index a7319d685..a9fd23541 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/RedB.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/RedB.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html b/api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html
index 855621da5..cdcefecc3 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Underlined.html b/api/dotty/tools/dotc/printing/Highlighting$/Underlined.html
index 772c03c9c..6317ff0f0 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Underlined.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Underlined.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/White$.html b/api/dotty/tools/dotc/printing/Highlighting$/White$.html
index 88a1dc674..e0949f797 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/White$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/White$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/White.html b/api/dotty/tools/dotc/printing/Highlighting$/White.html
index 415dfd9ce..4b620de1e 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/White.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/White.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html b/api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html
index 0cdc52df5..3365702fe 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html b/api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html
index 637d91eb8..e67355d8b 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html b/api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html
index 7f28817c8..c5358bf6e 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Yellow.html b/api/dotty/tools/dotc/printing/Highlighting$/Yellow.html
index f8016e0e9..7725507a0 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Yellow.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Yellow.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html b/api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html
index b3ec5478b..b02716e2a 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/YellowB.html b/api/dotty/tools/dotc/printing/Highlighting$/YellowB.html
index e7e485756..d59ee3beb 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/YellowB.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/YellowB.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/PlainPrinter.html b/api/dotty/tools/dotc/printing/PlainPrinter.html
index 91a9814ee..1f8ece766 100644
--- a/api/dotty/tools/dotc/printing/PlainPrinter.html
+++ b/api/dotty/tools/dotc/printing/PlainPrinter.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Printer.html b/api/dotty/tools/dotc/printing/Printer.html
index cb9ddc132..141aa07cc 100644
--- a/api/dotty/tools/dotc/printing/Printer.html
+++ b/api/dotty/tools/dotc/printing/Printer.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Printers.html b/api/dotty/tools/dotc/printing/Printers.html
index 3f13b30ca..1f8fb7cd6 100644
--- a/api/dotty/tools/dotc/printing/Printers.html
+++ b/api/dotty/tools/dotc/printing/Printers.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/RefinedPrinter.html b/api/dotty/tools/dotc/printing/RefinedPrinter.html
index 9eddb7266..584687f32 100644
--- a/api/dotty/tools/dotc/printing/RefinedPrinter.html
+++ b/api/dotty/tools/dotc/printing/RefinedPrinter.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Showable.html b/api/dotty/tools/dotc/printing/Showable.html
index f338eba16..cea52d6d3 100644
--- a/api/dotty/tools/dotc/printing/Showable.html
+++ b/api/dotty/tools/dotc/printing/Showable.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/SyntaxHighlighting$.html b/api/dotty/tools/dotc/printing/SyntaxHighlighting$.html
index 5bc434bf5..577bf1fd4 100644
--- a/api/dotty/tools/dotc/printing/SyntaxHighlighting$.html
+++ b/api/dotty/tools/dotc/printing/SyntaxHighlighting$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$.html b/api/dotty/tools/dotc/printing/Texts$.html
index 93bd80067..5f9212301 100644
--- a/api/dotty/tools/dotc/printing/Texts$.html
+++ b/api/dotty/tools/dotc/printing/Texts$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Closed.html b/api/dotty/tools/dotc/printing/Texts$/Closed.html
index c098ea1ff..8892e54e4 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Closed.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Closed.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Fluid$.html b/api/dotty/tools/dotc/printing/Texts$/Fluid$.html
index 5350b17ad..4a053881c 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Fluid$.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Fluid$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Fluid.html b/api/dotty/tools/dotc/printing/Texts$/Fluid.html
index d7ab6ff2a..2bc9695c7 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Fluid.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Fluid.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Str$.html b/api/dotty/tools/dotc/printing/Texts$/Str$.html
index 77dafd92a..a6609b4f5 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Str$.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Str$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Str.html b/api/dotty/tools/dotc/printing/Texts$/Str.html
index 8e6e5807d..641f28154 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Str.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Str.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Text$.html b/api/dotty/tools/dotc/printing/Texts$/Text$.html
index cbb289a9b..6fa790ee0 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Text$.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Text$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Text.html b/api/dotty/tools/dotc/printing/Texts$/Text.html
index 8d75b92c1..ac7b832a9 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Text.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Text.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Vertical$.html b/api/dotty/tools/dotc/printing/Texts$/Vertical$.html
index d9593ef0b..6aadcad3c 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Vertical$.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Vertical$.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Vertical.html b/api/dotty/tools/dotc/printing/Texts$/Vertical.html
index af3aac0a1..a3f470d4a 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Vertical.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Vertical.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>
diff --git a/api/dotty/tools/dotc/printing/index.html b/api/dotty/tools/dotc/printing/index.html
index 8ae2eb600..6e5ba6e6d 100644
--- a/api/dotty/tools/dotc/printing/index.html
+++ b/api/dotty/tools/dotc/printing/index.html
@@ -322,6 +322,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/DesugarEnums$.html">DesugarEnums</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">O</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/ast/NavigateAST$.html">NavigateAST</a>