Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359

1 files changed, 4528 insertions, 259 deletions

diff --git a/api/dotty/tools/dotc/core/Contexts$/Context.html b/api/dotty/tools/dotc/core/Contexts$/Context.html
index aec5af646..9ab47b872 100644
--- a/api/dotty/tools/dotc/core/Contexts$/Context.html
+++ b/api/dotty/tools/dotc/core/Contexts$/Context.html
@@ -5321,6 +5321,9 @@
 
 <div id="entity-container">
     <div id="entity-title">
+        <span id="entity-annotations">
+            
+        </span>
         <span id="entity-modifiers">
             abstract
         </span>
@@ -5330,6 +5333,62 @@
         <span id="entity-name">
             Context
         </span>
+        
+        
+        <div id="super-types">
+            
+            
+            <span class="keyword">extends</span>
+            
+            <span class="entity-super-type">Periods</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">Substituters</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">TypeOps</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">Phases</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">Printers</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">Symbols</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">SymDenotations</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">Reporting</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">NamerContextOps</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">Cloneable</span>
+            
+        </div>
+        
     </div>
 
     
@@ -5357,12 +5416,131 @@ classes (which should be short-lived).</li>
     </div>
     
 
-    <h1 class="section ">Members</h1>
+    <h1 class="section ">
+        Constructors
+    </h1>
+
+    <div id="entity-constructors" class="entity-section ">
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">Context</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">Context</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                ctx:
+                            </span>
+                            Context
+                            
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">Context</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">Context</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                ctx:
+                            </span>
+                            Context
+                            
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">Context</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">Context</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                c:
+                            </span>
+                            Context
+                            
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">Context</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                c:
+                            </span>
+                            Context
+                            
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+    </div>
+
+    <h1 class="section ">
+        Members
+    </h1>
 
     <div id="entity-members" class="entity-section ">
         
         <div id="NoPhase" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'NoPhase');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5388,12 +5566,29 @@ classes (which should be short-lived).</li>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-NoPhase">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-NoPhase">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="SomePhase" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'SomePhase');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5419,12 +5614,29 @@ classes (which should be short-lived).</li>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-SomePhase">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-SomePhase">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_compilationUnit" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_compilationUnit');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5445,18 +5657,36 @@ classes (which should be short-lived).</li>
                 
 
                 
-                <span class="no-left">: CompilationUnit</span>
+                <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/CompilationUnit.html">CompilationUnit</a></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current tree</p>
+                <div class="member-body-short" id="short-body-_compilationUnit">
+                    <p>The current tree</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-_compilationUnit">
+                    <p>The current tree</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_compilerCallback" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_compilerCallback');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5482,13 +5712,31 @@ classes (which should be short-lived).</li>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The compiler callback implementation, or null if no callback will be called.</p>
+                <div class="member-body-short" id="short-body-_compilerCallback">
+                    <p>The compiler callback implementation, or null if no callback will be called.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-_compilerCallback">
+                    <p>The compiler callback implementation, or null if no callback will be called.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_diagnostics" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_diagnostics');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5509,19 +5757,41 @@ classes (which should be short-lived).</li>
                 
 
                 
-                <span class="no-left">: Option</span>
+                <span class="no-left">: Option
+<span class="no-left no-right">[</span>
+StringBuilder
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>An optional diagostics buffer than is used by some checking code
+                <div class="member-body-short" id="short-body-_diagnostics">
+                    <p>An optional diagostics buffer than is used by some checking code
+to provide more information in the buffer if it exists.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-_diagnostics">
+                    <p>An optional diagostics buffer than is used by some checking code
 to provide more information in the buffer if it exists.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_freshNames" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_freshNames');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5547,13 +5817,31 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current fresh name creator</p>
+                <div class="member-body-short" id="short-body-_freshNames">
+                    <p>The current fresh name creator</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-_freshNames">
+                    <p>The current fresh name creator</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_gadt" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_gadt');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5579,13 +5867,31 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current bounds in force for type parameters appearing in a GADT</p>
+                <div class="member-body-short" id="short-body-_gadt">
+                    <p>The current bounds in force for type parameters appearing in a GADT</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-_gadt">
+                    <p>The current bounds in force for type parameters appearing in a GADT</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_importInfo" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_importInfo');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5611,13 +5917,31 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The currently active import info</p>
+                <div class="member-body-short" id="short-body-_importInfo">
+                    <p>The currently active import info</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-_importInfo">
+                    <p>The currently active import info</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_mode" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_mode');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5643,13 +5967,31 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The scope nesting level</p>
+                <div class="member-body-short" id="short-body-_mode">
+                    <p>The scope nesting level</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-_mode">
+                    <p>The scope nesting level</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_moreProperties" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_moreProperties');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5670,18 +6012,42 @@ to provide more information in the buffer if it exists.</p>
                 
 
                 
-                <span class="no-left">: Map</span>
+                <span class="no-left">: Map
+<span class="no-left no-right">[</span>
+Key
+<span class="no-left no-right">[</span>
+Any
+<span class="no-left">]</span><span class="">, </span>Any
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A map in which more contextual properties can be stored</p>
+                <div class="member-body-short" id="short-body-_moreProperties">
+                    <p>A map in which more contextual properties can be stored</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-_moreProperties">
+                    <p>A map in which more contextual properties can be stored</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_nextId" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_nextId');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5707,13 +6073,31 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A counter for unique ids</p>
+                <div class="member-body-short" id="short-body-_nextId">
+                    <p>A counter for unique ids</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-_nextId">
+                    <p>A counter for unique ids</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_outer" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_outer');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5739,13 +6123,31 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The outer context</p>
+                <div class="member-body-short" id="short-body-_outer">
+                    <p>The outer context</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-_outer">
+                    <p>The outer context</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_owner" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_owner');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5771,13 +6173,31 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current owner symbol</p>
+                <div class="member-body-short" id="short-body-_owner">
+                    <p>The current owner symbol</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-_owner">
+                    <p>The current owner symbol</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_period" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_period');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5803,13 +6223,31 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current context</p>
+                <div class="member-body-short" id="short-body-_period">
+                    <p>The current context</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-_period">
+                    <p>The current context</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_printerFn" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_printerFn');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5830,18 +6268,36 @@ to provide more information in the buffer if it exists.</p>
                 
 
                 
-                <span class="no-left">: </span>
+                <span class="no-left">: Context<span class="right-arrow"> =&gt; </span>Printer</span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current plain printer</p>
+                <div class="member-body-short" id="short-body-_printerFn">
+                    <p>The current plain printer</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-_printerFn">
+                    <p>The current plain printer</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_runInfo" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_runInfo');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5867,13 +6323,31 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current compiler-run specific Info</p>
+                <div class="member-body-short" id="short-body-_runInfo">
+                    <p>The current compiler-run specific Info</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-_runInfo">
+                    <p>The current compiler-run specific Info</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_sbtCallback" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_sbtCallback');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5899,13 +6373,31 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The sbt callback implementation if we are run from sbt, null otherwise</p>
+                <div class="member-body-short" id="short-body-_sbtCallback">
+                    <p>The sbt callback implementation if we are run from sbt, null otherwise</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-_sbtCallback">
+                    <p>The sbt callback implementation if we are run from sbt, null otherwise</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_scope" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_scope');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5931,13 +6423,31 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current scope</p>
+                <div class="member-body-short" id="short-body-_scope">
+                    <p>The current scope</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-_scope">
+                    <p>The current scope</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_searchHistory" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_searchHistory');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5963,13 +6473,31 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The history of implicit searches that are currently active</p>
+                <div class="member-body-short" id="short-body-_searchHistory">
+                    <p>The history of implicit searches that are currently active</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-_searchHistory">
+                    <p>The history of implicit searches that are currently active</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_sstate" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_sstate');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5990,18 +6518,36 @@ to provide more information in the buffer if it exists.</p>
                 
 
                 
-                <span class="no-left">: SettingsState</span>
+                <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/config/Settings$/SettingsState.html">SettingsState</a></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current settings values</p>
+                <div class="member-body-short" id="short-body-_sstate">
+                    <p>The current settings values</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-_sstate">
+                    <p>The current settings values</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_tree" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_tree');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6022,18 +6568,39 @@ to provide more information in the buffer if it exists.</p>
                 
 
                 
-                <span class="no-left">: Tree</span>
+                <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Tree.html">Tree</a>
+<span class="no-left no-right">[</span>
+<a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$.html#Untyped">Untyped</a><span class="bounds"> &lt;: </span>Any
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current tree</p>
+                <div class="member-body-short" id="short-body-_tree">
+                    <p>The current tree</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-_tree">
+                    <p>The current tree</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_typeAssigner" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_typeAssigner');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6059,13 +6626,31 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current type assigner or typer</p>
+                <div class="member-body-short" id="short-body-_typeAssigner">
+                    <p>The current type assigner or typer</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-_typeAssigner">
+                    <p>The current type assigner or typer</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_typeComparer" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_typeComparer');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6091,12 +6676,29 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-_typeComparer">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-_typeComparer">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_typerState" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_typerState');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6122,13 +6724,31 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current type comparer</p>
+                <div class="member-body-short" id="short-body-_typerState">
+                    <p>The current type comparer</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-_typerState">
+                    <p>The current type comparer</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="base" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'base');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6154,13 +6774,31 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The context base at the root</p>
+                <div class="member-body-short" id="short-body-base">
+                    <p>The context base at the root</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-base">
+                    <p>The context base at the root</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="classOfId" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'classOfId');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6181,18 +6819,39 @@ to provide more information in the buffer if it exists.</p>
                 
 
                 
-                <span class="no-left">: Array</span>
+                <span class="no-left">: Array
+<span class="no-left no-right">[</span>
+ClassSymbol
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A map from a superclass id to the typeref of the class that has it</p>
+                <div class="member-body-short" id="short-body-classOfId">
+                    <p>A map from a superclass id to the typeref of the class that has it</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-classOfId">
+                    <p>A map from a superclass id to the typeref of the class that has it</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="creationTrace" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'creationTrace');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6213,19 +6872,41 @@ to provide more information in the buffer if it exists.</p>
                 
 
                 
-                <span class="no-left">: Array</span>
+                <span class="no-left">: Array
+<span class="no-left no-right">[</span>
+StackTraceElement
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>If -Ydebug is on, the top of the stack trace where this context
+                <div class="member-body-short" id="short-body-creationTrace">
+                    <p>If -Ydebug is on, the top of the stack trace where this context
+was created, otherwise <code>null</code>.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-creationTrace">
+                    <p>If -Ydebug is on, the top of the stack trace where this context
 was created, otherwise <code>null</code>.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="definitions" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'definitions');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6251,13 +6932,31 @@ was created, otherwise <code>null</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The standard definitions</p>
+                <div class="member-body-short" id="short-body-definitions">
+                    <p>The standard definitions</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-definitions">
+                    <p>The standard definitions</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="denotTransformers" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'denotTransformers');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6278,17 +6977,37 @@ was created, otherwise <code>null</code>.</p>
                 
 
                 
-                <span class="no-left">: Array</span>
+                <span class="no-left">: Array
+<span class="no-left no-right">[</span>
+DenotTransformer
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-denotTransformers">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-denotTransformers">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="findMemberCount" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'findMemberCount');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6314,13 +7033,31 @@ was created, otherwise <code>null</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Number of findMember calls on stack</p>
+                <div class="member-body-short" id="short-body-findMemberCount">
+                    <p>Number of findMember calls on stack</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-findMemberCount">
+                    <p>Number of findMember calls on stack</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="implicitsCache" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'implicitsCache');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6346,13 +7083,31 @@ was created, otherwise <code>null</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The new implicit references that are introduced by this scope</p>
+                <div class="member-body-short" id="short-body-implicitsCache">
+                    <p>The new implicit references that are introduced by this scope</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-implicitsCache">
+                    <p>The new implicit references that are introduced by this scope</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="indent" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'indent');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6378,12 +7133,29 @@ was created, otherwise <code>null</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-indent">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-indent">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="indentTab" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'indentTab');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6409,12 +7181,29 @@ was created, otherwise <code>null</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-indentTab">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-indentTab">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="initialCtx" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'initialCtx');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6440,13 +7229,31 @@ was created, otherwise <code>null</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The initial context</p>
+                <div class="member-body-short" id="short-body-initialCtx">
+                    <p>The initial context</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-initialCtx">
+                    <p>The initial context</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lastSuperId" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lastSuperId');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6472,13 +7279,31 @@ was created, otherwise <code>null</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The last allocated superclass id</p>
+                <div class="member-body-short" id="short-body-lastSuperId">
+                    <p>The last allocated superclass id</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-lastSuperId">
+                    <p>The last allocated superclass id</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="loaders" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'loaders');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6504,13 +7329,31 @@ was created, otherwise <code>null</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The symbol loaders</p>
+                <div class="member-body-short" id="short-body-loaders">
+                    <p>The symbol loaders</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-loaders">
+                    <p>The symbol loaders</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="nextDenotTransformerId" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'nextDenotTransformerId');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6531,18 +7374,39 @@ was created, otherwise <code>null</code>.</p>
                 
 
                 
-                <span class="no-left">: Array</span>
+                <span class="no-left">: Array
+<span class="no-left no-right">[</span>
+Int
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Next denotation transformer id</p>
+                <div class="member-body-short" id="short-body-nextDenotTransformerId">
+                    <p>Next denotation transformer id</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-nextDenotTransformerId">
+                    <p>Next denotation transformer id</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="pendingMemberSearches" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'pendingMemberSearches');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6563,19 +7427,41 @@ was created, otherwise <code>null</code>.</p>
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+Name
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>List of names which have a findMemberCall on stack,
+                <div class="member-body-short" id="short-body-pendingMemberSearches">
+                    <p>List of names which have a findMemberCall on stack,
 after Config.LogPendingFindMemberThreshold is reached.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-pendingMemberSearches">
+                    <p>List of names which have a findMemberCall on stack,
+after Config.LogPendingFindMemberThreshold is reached.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="pendingUnderlying" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'pendingUnderlying');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6596,19 +7482,41 @@ after Config.LogPendingFindMemberThreshold is reached.</p>
                 
 
                 
-                <span class="no-left">: HashSet</span>
+                <span class="no-left">: HashSet
+<span class="no-left no-right">[</span>
+Type
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The set of named types on which a currently active invocation
+                <div class="member-body-short" id="short-body-pendingUnderlying">
+                    <p>The set of named types on which a currently active invocation
 of underlying during a controlled operation exists.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-pendingUnderlying">
+                    <p>The set of named types on which a currently active invocation
+of underlying during a controlled operation exists.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="phasedCtx" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'phasedCtx');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6634,16 +7542,37 @@ of underlying during a controlled operation exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Those fields are used to cache phases created in withPhase.
+                <div class="member-body-short" id="short-body-phasedCtx">
+                    <p>Those fields are used to cache phases created in withPhase.
 phasedCtx is first phase with altered phase ever requested.
 phasedCtxs is array that uses ph...
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-phasedCtx">
+                    <p>Those fields are used to cache phases created in withPhase.
+phasedCtx is first phase with altered phase ever requested.
+phasedCtxs is array that uses phaseId's as indexes,
+contexts are created only on request and cached in this array</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="phasedCtxs" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'phasedCtxs');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6664,17 +7593,37 @@ phasedCtxs is array that uses ph...
                 
 
                 
-                <span class="no-left">: Array</span>
+                <span class="no-left">: Array
+<span class="no-left no-right">[</span>
+Context
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-phasedCtxs">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-phasedCtxs">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="phases" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'phases');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6695,18 +7644,39 @@ phasedCtxs is array that uses ph...
                 
 
                 
-                <span class="no-left">: Array</span>
+                <span class="no-left">: Array
+<span class="no-left no-right">[</span>
+Phase
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Phases by id</p>
+                <div class="member-body-short" id="short-body-phases">
+                    <p>Phases by id</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-phases">
+                    <p>Phases by id</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="phasesPlan" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'phasesPlan');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6727,17 +7697,40 @@ phasedCtxs is array that uses ph...
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+List
+<span class="no-left no-right">[</span>
+Phase
+<span class="no-left">]</span>
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-phasesPlan">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-phasesPlan">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="settings" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'settings');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6758,18 +7751,36 @@ phasedCtxs is array that uses ph...
                 
 
                 
-                <span class="no-left">: ScalaSettings</span>
+                <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/config/ScalaSettings.html">ScalaSettings</a></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The applicable settings</p>
+                <div class="member-body-short" id="short-body-settings">
+                    <p>The applicable settings</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-settings">
+                    <p>The applicable settings</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="squashedPhases" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'squashedPhases');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6790,18 +7801,39 @@ phasedCtxs is array that uses ph...
                 
 
                 
-                <span class="no-left">: Array</span>
+                <span class="no-left">: Array
+<span class="no-left no-right">[</span>
+Phase
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Phases with consecutive Transforms grouped into a single phase, Empty array if squashing is disabled</p>
+                <div class="member-body-short" id="short-body-squashedPhases">
+                    <p>Phases with consecutive Transforms grouped into a single phase, Empty array if squashing is disabled</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-squashedPhases">
+                    <p>Phases with consecutive Transforms grouped into a single phase, Empty array if squashing is disabled</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="superIdOfClass" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'superIdOfClass');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6822,18 +7854,39 @@ phasedCtxs is array that uses ph...
                 
 
                 
-                <span class="no-left">: AnyRefMap</span>
+                <span class="no-left">: AnyRefMap
+<span class="no-left no-right">[</span>
+ClassSymbol<span class="">, </span>Int
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A map from a the typeref of a class to its superclass id</p>
+                <div class="member-body-short" id="short-body-superIdOfClass">
+                    <p>A map from a the typeref of a class to its superclass id</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-superIdOfClass">
+                    <p>A map from a the typeref of a class to its superclass id</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toTextRecursions" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toTextRecursions');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6859,13 +7912,31 @@ phasedCtxs is array that uses ph...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Number of recursive invocations of a show method on current stack</p>
+                <div class="member-body-short" id="short-body-toTextRecursions">
+                    <p>Number of recursive invocations of a show method on current stack</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-toTextRecursions">
+                    <p>Number of recursive invocations of a show method on current stack</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="underlyingRecursions" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'underlyingRecursions');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6891,14 +7962,33 @@ phasedCtxs is array that uses ph...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The number of recursive invocation of underlying on a NamedType
+                <div class="member-body-short" id="short-body-underlyingRecursions">
+                    <p>The number of recursive invocation of underlying on a NamedType
 during a controlled operation.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-underlyingRecursions">
+                    <p>The number of recursive invocation of underlying on a NamedType
+during a controlled operation.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="uniqueNamedTypes" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'uniqueNamedTypes');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6924,13 +8014,31 @@ during a controlled operation.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A table for hash consing unique named types</p>
+                <div class="member-body-short" id="short-body-uniqueNamedTypes">
+                    <p>A table for hash consing unique named types</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-uniqueNamedTypes">
+                    <p>A table for hash consing unique named types</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="uniqueRefinedTypes" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'uniqueRefinedTypes');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6956,13 +8064,31 @@ during a controlled operation.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A table for hash consing unique refined types</p>
+                <div class="member-body-short" id="short-body-uniqueRefinedTypes">
+                    <p>A table for hash consing unique refined types</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-uniqueRefinedTypes">
+                    <p>A table for hash consing unique refined types</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="uniqueTypeAliases" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'uniqueTypeAliases');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6988,13 +8114,31 @@ during a controlled operation.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A table for hash consing unique type bounds</p>
+                <div class="member-body-short" id="short-body-uniqueTypeAliases">
+                    <p>A table for hash consing unique type bounds</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-uniqueTypeAliases">
+                    <p>A table for hash consing unique type bounds</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="uniques" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'uniques');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7015,18 +8159,39 @@ during a controlled operation.</p>
                 
 
                 
-                <span class="no-left">: HashSet</span>
+                <span class="no-left">: HashSet
+<span class="no-left no-right">[</span>
+Type
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A table for hash consing unique types</p>
+                <div class="member-body-short" id="short-body-uniques">
+                    <p>A table for hash consing unique types</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-uniques">
+                    <p>A table for hash consing unique types</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="unsafeNonvariant" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'unsafeNonvariant');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7052,15 +8217,35 @@ during a controlled operation.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A flag that some unsafe nonvariant instantiation was encountered
+                <div class="member-body-short" id="short-body-unsafeNonvariant">
+                    <p>A flag that some unsafe nonvariant instantiation was encountered
+in this run. Used as a shortcut to a avoid scans of types in
+Typer.typedSelect.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-unsafeNonvariant">
+                    <p>A flag that some unsafe nonvariant instantiation was encountered
 in this run. Used as a shortcut to a avoid scans of types in
 Typer.typedSelect.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_diagnostics_=(x$1)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_diagnostics_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7102,14 +8287,33 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>An optional diagostics buffer than is used by some checking code
+                <div class="member-body-short" id="short-body-_diagnostics_=(x$1)">
+                    <p>An optional diagostics buffer than is used by some checking code
+to provide more information in the buffer if it exists.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-_diagnostics_=(x$1)">
+                    <p>An optional diagostics buffer than is used by some checking code
 to provide more information in the buffer if it exists.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_gadt_=(x$1)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_gadt_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7148,13 +8352,31 @@ to provide more information in the buffer if it exists.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current bounds in force for type parameters appearing in a GADT</p>
+                <div class="member-body-short" id="short-body-_gadt_=(x$1)">
+                    <p>The current bounds in force for type parameters appearing in a GADT</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-_gadt_=(x$1)">
+                    <p>The current bounds in force for type parameters appearing in a GADT</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_moreProperties_=(x$1)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_moreProperties_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7199,13 +8421,31 @@ Any
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A map in which more contextual properties can be stored</p>
+                <div class="member-body-short" id="short-body-_moreProperties_=(x$1)">
+                    <p>A map in which more contextual properties can be stored</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-_moreProperties_=(x$1)">
+                    <p>A map in which more contextual properties can be stored</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_nextId_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_nextId_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7244,13 +8484,31 @@ Any
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A counter for unique ids</p>
+                <div class="member-body-short" id="short-body-_nextId_=(x$1)">
+                    <p>A counter for unique ids</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-_nextId_=(x$1)">
+                    <p>A counter for unique ids</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_searchHistory_=(x$1)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_searchHistory_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7289,13 +8547,31 @@ Any
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The history of implicit searches that are currently active</p>
+                <div class="member-body-short" id="short-body-_searchHistory_=(x$1)">
+                    <p>The history of implicit searches that are currently active</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-_searchHistory_=(x$1)">
+                    <p>The history of implicit searches that are currently active</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="_typeComparer_=(x$1)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_typeComparer_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7334,12 +8610,29 @@ Any
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-_typeComparer_=(x$1)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-_typeComparer_=(x$1)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="addMode(mode)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'addMode(mode)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7378,12 +8671,29 @@ Any
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-addMode(mode)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-addMode(mode)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="allPhases" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'allPhases');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7409,12 +8719,29 @@ Any
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-allPhases">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-allPhases">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="atPrec(prec)(op)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'atPrec(prec)(op)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7464,13 +8791,31 @@ Any
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Generate text using <code>op</code>, assuming a given precedence level <code>prec</code>.</p>
+                <div class="member-body-short" id="short-body-atPrec(prec)(op)">
+                    <p>Generate text using <code>op</code>, assuming a given precedence level <code>prec</code>.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-atPrec(prec)(op)">
+                    <p>Generate text using <code>op</code>, assuming a given precedence level <code>prec</code>.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="changePrec(prec)(op)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'changePrec(prec)(op)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7520,14 +8865,33 @@ Any
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Generate text using <code>op</code>, assuming a given precedence level <code>prec</code>.
+                <div class="member-body-short" id="short-body-changePrec(prec)(op)">
+                    <p>Generate text using <code>op</code>, assuming a given precedence level <code>prec</code>.
+If new level <code>prec</code> is lower than previous level, put text in parentheses.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-changePrec(prec)(op)">
+                    <p>Generate text using <code>op</code>, assuming a given precedence level <code>prec</code>.
 If new level <code>prec</code> is lower than previous level, put text in parentheses.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="checkSingleThreaded()" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'checkSingleThreaded()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7560,13 +8924,31 @@ If new level <code>prec</code> is lower than previous level, put text in parenth
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Check that we are on the same thread as before</p>
+                <div class="member-body-short" id="short-body-checkSingleThreaded()">
+                    <p>Check that we are on the same thread as before</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-checkSingleThreaded()">
+                    <p>Check that we are on the same thread as before</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="classOfId_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'classOfId_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7608,13 +8990,31 @@ ClassSymbol
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A map from a superclass id to the typeref of the class that has it</p>
+                <div class="member-body-short" id="short-body-classOfId_=(x$1)">
+                    <p>A map from a superclass id to the typeref of the class that has it</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-classOfId_=(x$1)">
+                    <p>A map from a superclass id to the typeref of the class that has it</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="clone()" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'clone()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7647,12 +9047,29 @@ ClassSymbol
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-clone()">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-clone()">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="compilationUnit" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'compilationUnit');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7673,17 +9090,34 @@ ClassSymbol
                 
 
                 
-                <span class="no-left">: CompilationUnit</span>
+                <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/CompilationUnit.html">CompilationUnit</a></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-compilationUnit">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-compilationUnit">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="compilationUnit_=(compilationUnit)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'compilationUnit_=(compilationUnit)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7722,12 +9156,29 @@ ClassSymbol
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-compilationUnit_=(compilationUnit)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-compilationUnit_=(compilationUnit)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="compilerCallback" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'compilerCallback');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7753,12 +9204,29 @@ ClassSymbol
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-compilerCallback">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-compilerCallback">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="compilerCallback_=(callback)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'compilerCallback_=(callback)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7797,12 +9265,29 @@ ClassSymbol
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-compilerCallback_=(callback)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-compilerCallback_=(callback)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="creationTrace_=(x$1)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'creationTrace_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7844,14 +9329,33 @@ StackTraceElement
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>If -Ydebug is on, the top of the stack trace where this context
+                <div class="member-body-short" id="short-body-creationTrace_=(x$1)">
+                    <p>If -Ydebug is on, the top of the stack trace where this context
+was created, otherwise <code>null</code>.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-creationTrace_=(x$1)">
+                    <p>If -Ydebug is on, the top of the stack trace where this context
 was created, otherwise <code>null</code>.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="ctx" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'ctx');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7877,12 +9381,29 @@ was created, otherwise <code>null</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-ctx">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-ctx">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="currentPrecedence" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'currentPrecedence');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7908,13 +9429,31 @@ was created, otherwise <code>null</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current precedence level</p>
+                <div class="member-body-short" id="short-body-currentPrecedence">
+                    <p>The current precedence level</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-currentPrecedence">
+                    <p>The current precedence level</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="dclText(sd)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'dclText(sd)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7953,13 +9492,31 @@ was created, otherwise <code>null</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Textual representation of single denotation's declaration</p>
+                <div class="member-body-short" id="short-body-dclText(sd)">
+                    <p>Textual representation of single denotation's declaration</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-dclText(sd)">
+                    <p>Textual representation of single denotation's declaration</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="dclText(sym)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'dclText(sym)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7998,13 +9555,31 @@ was created, otherwise <code>null</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Textual representation of symbol's declaration</p>
+                <div class="member-body-short" id="short-body-dclText(sym)">
+                    <p>Textual representation of symbol's declaration</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-dclText(sym)">
+                    <p>Textual representation of symbol's declaration</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="dclsText(syms,sep)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'dclsText(syms,sep)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8054,14 +9629,33 @@ Symbol
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Textual representation of all symbols in given list,
+                <div class="member-body-short" id="short-body-dclsText(syms,sep)">
+                    <p>Textual representation of all symbols in given list,
+using <code>dclText</code> for displaying each.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-dclsText(syms,sep)">
+                    <p>Textual representation of all symbols in given list,
 using <code>dclText</code> for displaying each.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="debug" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'debug');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8087,13 +9681,31 @@ using <code>dclText</code> for displaying each.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Is the debug option set?</p>
+                <div class="member-body-short" id="short-body-debug">
+                    <p>Is the debug option set?</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-debug">
+                    <p>Is the debug option set?</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="denotTransformers_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'denotTransformers_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8135,12 +9747,29 @@ DenotTransformer
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-denotTransformers_=(x$1)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-denotTransformers_=(x$1)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="diagnose(str)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'diagnose(str)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8179,13 +9808,31 @@ DenotTransformer
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Leave message in diagnostics buffer if it exists</p>
+                <div class="member-body-short" id="short-body-diagnose(str)">
+                    <p>Leave message in diagnostics buffer if it exists</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-diagnose(str)">
+                    <p>Leave message in diagnostics buffer if it exists</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="diagnostics" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'diagnostics');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8206,17 +9853,37 @@ DenotTransformer
                 
 
                 
-                <span class="no-left">: Option</span>
+                <span class="no-left">: Option
+<span class="no-left no-right">[</span>
+StringBuilder
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-diagnostics">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-diagnostics">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="diagnostics_=(diagnostics)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'diagnostics_=(diagnostics)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8258,12 +9925,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-diagnostics_=(diagnostics)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-diagnostics_=(diagnostics)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="docCtx" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'docCtx');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8284,17 +9968,37 @@ StringBuilder
                 
 
                 
-                <span class="no-left">: Option</span>
+                <span class="no-left">: Option
+<span class="no-left no-right">[</span>
+ContextDocstrings
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-docCtx">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-docCtx">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="docbase" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'docbase');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8320,12 +10024,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-docbase">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-docbase">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="elimErasedValueTypePhase" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'elimErasedValueTypePhase');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8351,12 +10072,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-elimErasedValueTypePhase">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-elimErasedValueTypePhase">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="elimRepeatedPhase" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'elimRepeatedPhase');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8382,12 +10120,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-elimRepeatedPhase">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-elimRepeatedPhase">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="enclTemplate" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'enclTemplate');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8413,13 +10168,31 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The next outer context whose tree is a template or package definition</p>
+                <div class="member-body-short" id="short-body-enclTemplate">
+                    <p>The next outer context whose tree is a template or package definition</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-enclTemplate">
+                    <p>The next outer context whose tree is a template or package definition</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="eq(x$0)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'eq(x$0)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8458,12 +10231,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-eq(x$0)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-eq(x$0)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="erasedTypes" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'erasedTypes');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8489,13 +10279,31 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Does current phase use an erased types interpretation?</p>
+                <div class="member-body-short" id="short-body-erasedTypes">
+                    <p>Does current phase use an erased types interpretation?</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-erasedTypes">
+                    <p>Does current phase use an erased types interpretation?</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="erasurePhase" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'erasurePhase');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8521,12 +10329,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-erasurePhase">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-erasurePhase">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="explicitOuterPhase" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'explicitOuterPhase');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8552,12 +10377,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-explicitOuterPhase">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-explicitOuterPhase">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="exprContext(stat,exprOwner)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'exprContext(stat,exprOwner)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8607,13 +10449,31 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The context of expression <code>expr</code> seen as a member of a statement sequence</p>
+                <div class="member-body-short" id="short-body-exprContext(stat,exprOwner)">
+                    <p>The context of expression <code>expr</code> seen as a member of a statement sequence</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-exprContext(stat,exprOwner)">
+                    <p>The context of expression <code>expr</code> seen as a member of a statement sequence</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="extendedLocationText(sym)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'extendedLocationText(sym)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8652,13 +10512,31 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A description of sym's location</p>
+                <div class="member-body-short" id="short-body-extendedLocationText(sym)">
+                    <p>A description of sym's location</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-extendedLocationText(sym)">
+                    <p>A description of sym's location</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="extensionMethodsPhase" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'extensionMethodsPhase');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8684,12 +10562,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-extensionMethodsPhase">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-extensionMethodsPhase">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="finalize()" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'finalize()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8722,12 +10617,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-finalize()">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-finalize()">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="findMemberCount_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'findMemberCount_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8766,13 +10678,31 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Number of findMember calls on stack</p>
+                <div class="member-body-short" id="short-body-findMemberCount_=(x$1)">
+                    <p>Number of findMember calls on stack</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-findMemberCount_=(x$1)">
+                    <p>Number of findMember calls on stack</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="flattenPhase" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'flattenPhase');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8798,12 +10728,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-flattenPhase">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-flattenPhase">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="fresh" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'fresh');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8829,13 +10776,31 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A fresh clone of this context.</p>
+                <div class="member-body-short" id="short-body-fresh">
+                    <p>A fresh clone of this context.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-fresh">
+                    <p>A fresh clone of this context.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="freshName(prefix)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'freshName(prefix)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8874,12 +10839,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-freshName(prefix)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-freshName(prefix)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="freshName(prefix)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'freshName(prefix)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8918,12 +10900,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-freshName(prefix)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-freshName(prefix)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="freshName$default$1" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'freshName$default$1');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8949,12 +10948,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-freshName$default$1">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-freshName$default$1">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="freshNames" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'freshNames');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8980,12 +10996,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-freshNames">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-freshNames">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="freshNames_=(freshNames)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'freshNames_=(freshNames)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9024,12 +11057,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-freshNames_=(freshNames)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-freshNames_=(freshNames)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="fullNameString(sym)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'fullNameString(sym)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9068,13 +11118,31 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The fully qualified name of the symbol</p>
+                <div class="member-body-short" id="short-body-fullNameString(sym)">
+                    <p>The fully qualified name of the symbol</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-fullNameString(sym)">
+                    <p>The fully qualified name of the symbol</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="gadt" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'gadt');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9100,12 +11168,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-gadt">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-gadt">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="gadt_=(gadt)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'gadt_=(gadt)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9144,12 +11229,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-gadt_=(gadt)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-gadt_=(gadt)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="genBCodePhase" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'genBCodePhase');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9175,12 +11277,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-genBCodePhase">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-genBCodePhase">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="gettersPhase" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'gettersPhase');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9206,12 +11325,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-gettersPhase">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-gettersPhase">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="implicits" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'implicits');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9237,12 +11373,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-implicits">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-implicits">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="implicitsCache_=(x$1)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'implicitsCache_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9281,13 +11434,31 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The new implicit references that are introduced by this scope</p>
+                <div class="member-body-short" id="short-body-implicitsCache_=(x$1)">
+                    <p>The new implicit references that are introduced by this scope</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-implicitsCache_=(x$1)">
+                    <p>The new implicit references that are introduced by this scope</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="importInfo" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'importInfo');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9313,12 +11484,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-importInfo">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-importInfo">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="importInfo_=(importInfo)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'importInfo_=(importInfo)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9357,12 +11545,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-importInfo_=(importInfo)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-importInfo_=(importInfo)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="indent_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'indent_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9401,12 +11606,29 @@ StringBuilder
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-indent_=(x$1)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-indent_=(x$1)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="init(outer)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'init(outer)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9440,21 +11662,57 @@ StringBuilder
                 
 
                 
-                <span class="no-left">: </span>
+                <span class="no-left">: Context<span class="and-or-separator"> &amp; </span>Context</span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A condensed context containing essential information of this but
+                <div class="member-body-short" id="short-body-init(outer)">
+                    <p>A condensed context containing essential information of this but
 no outer contexts except the initial context.
 private var _condensed: CondensedContext...
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-init(outer)">
+                    <p>A condensed context containing essential information of this but
+no outer contexts except the initial context.
+private var _condensed: CondensedContext = null
+def condensed: CondensedContext = {
+if (_condensed eq outer.condensed)
+_condensed = base.initialCtx.fresh
+.withPeriod(period)
+.withNewMode(mode)
+// typerState and its constraint is not preserved in condensed
+// reporter is always ThrowingReporter
+.withPrinterFn(printerFn)
+.withOwner(owner)
+.withSettings(sstate)
+// tree is not preserved in condensed
+.withRunInfo(runInfo)
+.withDiagnostics(diagnostics)
+.withMoreProperties(moreProperties)
+_condensed
+}</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="initialize()(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'initialize()(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9500,14 +11758,33 @@ private var _condensed: CondensedContext...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Initializes the <code>ContextBase</code> with a starting context.
+                <div class="member-body-short" id="short-body-initialize()(ctx)">
+                    <p>Initializes the <code>ContextBase</code> with a starting context.
 This initializes the <code>platform</code> and the <code>definitions</code>.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-initialize()(ctx)">
+                    <p>Initializes the <code>ContextBase</code> with a starting context.
+This initializes the <code>platform</code> and the <code>definitions</code>.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="isAfterTyper(phase)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isAfterTyper(phase)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9546,12 +11823,29 @@ This initializes the <code>platform</code> and the <code>definitions</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-isAfterTyper(phase)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-isAfterTyper(phase)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="isClassDefContext" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isClassDefContext');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9577,13 +11871,31 @@ This initializes the <code>platform</code> and the <code>definitions</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Is this a context for the members of a class definition?</p>
+                <div class="member-body-short" id="short-body-isClassDefContext">
+                    <p>Is this a context for the members of a class definition?</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-isClassDefContext">
+                    <p>Is this a context for the members of a class definition?</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="isImportContext" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isImportContext');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9609,13 +11921,31 @@ This initializes the <code>platform</code> and the <code>definitions</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Is this a context that introduces an import clause?</p>
+                <div class="member-body-short" id="short-body-isImportContext">
+                    <p>Is this a context that introduces an import clause?</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-isImportContext">
+                    <p>Is this a context that introduces an import clause?</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="isNonEmptyScopeContext" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isNonEmptyScopeContext');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9641,13 +11971,31 @@ This initializes the <code>platform</code> and the <code>definitions</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Is this a context that introduces a non-empty scope?</p>
+                <div class="member-body-short" id="short-body-isNonEmptyScopeContext">
+                    <p>Is this a context that introduces a non-empty scope?</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-isNonEmptyScopeContext">
+                    <p>Is this a context that introduces a non-empty scope?</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="kindString(sym)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'kindString(sym)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9686,13 +12034,31 @@ This initializes the <code>platform</code> and the <code>definitions</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The kind of the symbol</p>
+                <div class="member-body-short" id="short-body-kindString(sym)">
+                    <p>The kind of the symbol</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-kindString(sym)">
+                    <p>The kind of the symbol</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lambdaLiftPhase" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lambdaLiftPhase');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9718,12 +12084,29 @@ This initializes the <code>platform</code> and the <code>definitions</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-lambdaLiftPhase">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-lambdaLiftPhase">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lastSuperId_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lastSuperId_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9762,13 +12145,31 @@ This initializes the <code>platform</code> and the <code>definitions</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The last allocated superclass id</p>
+                <div class="member-body-short" id="short-body-lastSuperId_=(x$1)">
+                    <p>The last allocated superclass id</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-lastSuperId_=(x$1)">
+                    <p>The last allocated superclass id</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="locatedText(sym)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'locatedText(sym)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9807,13 +12208,31 @@ This initializes the <code>platform</code> and the <code>definitions</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Textual representation of symbol and its location</p>
+                <div class="member-body-short" id="short-body-locatedText(sym)">
+                    <p>Textual representation of symbol and its location</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-locatedText(sym)">
+                    <p>Textual representation of symbol and its location</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="locationText(sym)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'locationText(sym)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9852,13 +12271,31 @@ This initializes the <code>platform</code> and the <code>definitions</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>If symbol's owner is a printable class C, the text &quot;in C&quot;, otherwise &quot;&quot;</p>
+                <div class="member-body-short" id="short-body-locationText(sym)">
+                    <p>If symbol's owner is a printable class C, the text &quot;in C&quot;, otherwise &quot;&quot;</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-locationText(sym)">
+                    <p>If symbol's owner is a printable class C, the text &quot;in C&quot;, otherwise &quot;&quot;</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="maskMode(mode)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'maskMode(mode)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9897,12 +12334,29 @@ This initializes the <code>platform</code> and the <code>definitions</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-maskMode(mode)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-maskMode(mode)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="missingHook(owner,name)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'missingHook(owner,name)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9962,15 +12416,35 @@ This initializes the <code>platform</code> and the <code>definitions</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>If we are looking for a non-existing term name in a package,
+                <div class="member-body-short" id="short-body-missingHook(owner,name)(ctx)">
+                    <p>If we are looking for a non-existing term name in a package,
+assume it is a package for which we do not have a directory and
+enter it.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-missingHook(owner,name)(ctx)">
+                    <p>If we are looking for a non-existing term name in a package,
 assume it is a package for which we do not have a directory and
 enter it.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="mode" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'mode');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -9996,12 +12470,29 @@ enter it.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-mode">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-mode">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="mode_=(mode)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'mode_=(mode)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10040,12 +12531,29 @@ enter it.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-mode_=(mode)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-mode_=(mode)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="moreProperties" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'moreProperties');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10066,17 +12574,40 @@ enter it.</p>
                 
 
                 
-                <span class="no-left">: Map</span>
+                <span class="no-left">: Map
+<span class="no-left no-right">[</span>
+Key
+<span class="no-left no-right">[</span>
+Any
+<span class="no-left">]</span><span class="">, </span>Any
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-moreProperties">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-moreProperties">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="moreProperties_=(moreProperties)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'moreProperties_=(moreProperties)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10121,12 +12652,29 @@ Any
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-moreProperties_=(moreProperties)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-moreProperties_=(moreProperties)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="nameString(sym)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'nameString(sym)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10165,17 +12713,39 @@ Any
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The name of the given symbol.
+                <div class="member-body-short" id="short-body-nameString(sym)">
+                    <p>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 =&gt; =.
 I...</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-nameString(sym)">
+                    <p>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 =&gt; =.
+If settings.uniqid, adds id.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="nameString(name)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'nameString(name)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10214,14 +12784,33 @@ I...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The name, possibley with with namespace suffix if debugNames is set:
+                <div class="member-body-short" id="short-body-nameString(name)">
+                    <p>The name, possibley with with namespace suffix if debugNames is set:
+/L for local names, /V for other term names, /T for type names</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-nameString(name)">
+                    <p>The name, possibley with with namespace suffix if debugNames is set:
 /L for local names, /V for other term names, /T for type names</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="ne(x$0)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'ne(x$0)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10260,12 +12849,29 @@ I...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-ne(x$0)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-ne(x$0)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="newPlatform(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newPlatform(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10301,17 +12907,34 @@ I...</p>
                 
 
                 
-                <span class="no-left">: Platform</span>
+                <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/config/Platform.html">Platform</a></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-newPlatform(ctx)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-newPlatform(ctx)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="nextDenotTransformerId_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'nextDenotTransformerId_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10353,13 +12976,31 @@ Int
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Next denotation transformer id</p>
+                <div class="member-body-short" id="short-body-nextDenotTransformerId_=(x$1)">
+                    <p>Next denotation transformer id</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-nextDenotTransformerId_=(x$1)">
+                    <p>Next denotation transformer id</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="nextId" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'nextId');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10385,12 +13026,29 @@ Int
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-nextId">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-nextId">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="nextSuperId" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'nextSuperId');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10416,13 +13074,31 @@ Int
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Allocate and return next free superclass id</p>
+                <div class="member-body-short" id="short-body-nextSuperId">
+                    <p>Allocate and return next free superclass id</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-nextSuperId">
+                    <p>Allocate and return next free superclass id</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="notify()" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'notify()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10455,12 +13131,29 @@ Int
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-notify()">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-notify()">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="notifyAll()" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'notifyAll()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10493,12 +13186,29 @@ Int
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-notifyAll()">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-notifyAll()">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="outer" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'outer');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10524,12 +13234,29 @@ Int
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-outer">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-outer">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="outer_=(outer)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'outer_=(outer)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10568,12 +13295,29 @@ Int
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-outer_=(outer)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-outer_=(outer)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="outersIterator" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'outersIterator');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10594,18 +13338,39 @@ Int
                 
 
                 
-                <span class="no-left">: Iterator</span>
+                <span class="no-left">: Iterator
+<span class="no-left no-right">[</span>
+Context
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>All outer contexts, ending in <code>base.initialCtx</code> and then <code>NoContext</code></p>
+                <div class="member-body-short" id="short-body-outersIterator">
+                    <p>All outer contexts, ending in <code>base.initialCtx</code> and then <code>NoContext</code></p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-outersIterator">
+                    <p>All outer contexts, ending in <code>base.initialCtx</code> and then <code>NoContext</code></p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="owner" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'owner');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10631,12 +13396,29 @@ Int
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-owner">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-owner">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="owner_=(owner)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'owner_=(owner)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10675,12 +13457,29 @@ Int
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-owner_=(owner)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-owner_=(owner)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="patmatPhase" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'patmatPhase');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10706,12 +13505,29 @@ Int
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-patmatPhase">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-patmatPhase">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="pendingMemberSearches_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'pendingMemberSearches_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10753,14 +13569,33 @@ Name
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>List of names which have a findMemberCall on stack,
+                <div class="member-body-short" id="short-body-pendingMemberSearches_=(x$1)">
+                    <p>List of names which have a findMemberCall on stack,
 after Config.LogPendingFindMemberThreshold is reached.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-pendingMemberSearches_=(x$1)">
+                    <p>List of names which have a findMemberCall on stack,
+after Config.LogPendingFindMemberThreshold is reached.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="period" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'period');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10786,12 +13621,29 @@ after Config.LogPendingFindMemberThreshold is reached.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-period">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-period">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="period_=(period)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'period_=(period)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10830,12 +13682,29 @@ after Config.LogPendingFindMemberThreshold is reached.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-period_=(period)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-period_=(period)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="phaseOfClass(pclass)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'phaseOfClass(pclass)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10877,12 +13746,29 @@ Nothing<span class="bounds"> &lt;: </span>Any
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-phaseOfClass(pclass)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-phaseOfClass(pclass)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="phasePlan" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'phasePlan');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10903,17 +13789,40 @@ Nothing<span class="bounds"> &lt;: </span>Any
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+List
+<span class="no-left no-right">[</span>
+Phase
+<span class="no-left">]</span>
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-phasePlan">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-phasePlan">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="phasedCtx_=(x$1)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'phasedCtx_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -10952,16 +13861,37 @@ Nothing<span class="bounds"> &lt;: </span>Any
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Those fields are used to cache phases created in withPhase.
+                <div class="member-body-short" id="short-body-phasedCtx_=(x$1)">
+                    <p>Those fields are used to cache phases created in withPhase.
 phasedCtx is first phase with altered phase ever requested.
 phasedCtxs is array that uses ph...
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-phasedCtx_=(x$1)">
+                    <p>Those fields are used to cache phases created in withPhase.
+phasedCtx is first phase with altered phase ever requested.
+phasedCtxs is array that uses phaseId's as indexes,
+contexts are created only on request and cached in this array</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="phasedCtxs_=(x$1)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'phasedCtxs_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11003,12 +13933,29 @@ Context
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-phasedCtxs_=(x$1)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-phasedCtxs_=(x$1)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="phasesPlan_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'phasesPlan_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11053,12 +14000,29 @@ Phase
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-phasesPlan_=(x$1)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-phasesPlan_=(x$1)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="phases_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'phases_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11100,13 +14064,31 @@ Phase
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Phases by id</p>
+                <div class="member-body-short" id="short-body-phases_=(x$1)">
+                    <p>Phases by id</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-phases_=(x$1)">
+                    <p>Phases by id</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="picklerPhase" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'picklerPhase');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11132,12 +14114,29 @@ Phase
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-picklerPhase">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-picklerPhase">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="plain" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'plain');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11163,13 +14162,31 @@ Phase
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A plain printer without any embellishments</p>
+                <div class="member-body-short" id="short-body-plain">
+                    <p>A plain printer without any embellishments</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-plain">
+                    <p>A plain printer without any embellishments</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="platform" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'platform');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11190,18 +14207,36 @@ Phase
                 
 
                 
-                <span class="no-left">: Platform</span>
+                <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/config/Platform.html">Platform</a></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The platform</p>
+                <div class="member-body-short" id="short-body-platform">
+                    <p>The platform</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-platform">
+                    <p>The platform</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="printCreationTraces()" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'printCreationTraces()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11234,13 +14269,31 @@ Phase
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Print all enclosing context's creation stacktraces</p>
+                <div class="member-body-short" id="short-body-printCreationTraces()">
+                    <p>Print all enclosing context's creation stacktraces</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-printCreationTraces()">
+                    <p>Print all enclosing context's creation stacktraces</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="printerFn" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'printerFn');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11261,17 +14314,34 @@ Phase
                 
 
                 
-                <span class="no-left">: </span>
+                <span class="no-left">: Context<span class="right-arrow"> =&gt; </span>Printer</span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-printerFn">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-printerFn">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="printerFn_=(printerFn)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'printerFn_=(printerFn)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11310,12 +14380,29 @@ Phase
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-printerFn_=(printerFn)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-printerFn_=(printerFn)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="property(key)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'property(key)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11352,17 +14439,37 @@ T
                 
 
                 
-                <span class="no-left">: Option</span>
+                <span class="no-left">: Option
+<span class="no-left no-right">[</span>
+T
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-property(key)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-property(key)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="refchecksPhase" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'refchecksPhase');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11388,12 +14495,29 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-refchecksPhase">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-refchecksPhase">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="reporter" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'reporter');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11419,13 +14543,31 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current reporter</p>
+                <div class="member-body-short" id="short-body-reporter">
+                    <p>The current reporter</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-reporter">
+                    <p>The current reporter</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="reset()" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'reset()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11458,12 +14600,29 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-reset()">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-reset()">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="retractMode(mode)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'retractMode(mode)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11502,12 +14661,29 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-retractMode(mode)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-retractMode(mode)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="rootLoader(root)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'rootLoader(root)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11559,13 +14735,31 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The loader that loads the members of <em>root</em></p>
+                <div class="member-body-short" id="short-body-rootLoader(root)(ctx)">
+                    <p>The loader that loads the members of <em>root</em></p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-rootLoader(root)(ctx)">
+                    <p>The loader that loads the members of <em>root</em></p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="runInfo" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'runInfo');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11591,12 +14785,29 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-runInfo">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-runInfo">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="runInfo_=(runInfo)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'runInfo_=(runInfo)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11635,12 +14846,29 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-runInfo_=(runInfo)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-runInfo_=(runInfo)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="sbtCallback" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'sbtCallback');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11666,12 +14894,29 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-sbtCallback">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-sbtCallback">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="sbtCallback_=(callback)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'sbtCallback_=(callback)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11710,12 +14955,29 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-sbtCallback_=(callback)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-sbtCallback_=(callback)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="scope" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'scope');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11741,12 +15003,29 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-scope">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-scope">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="scope_=(scope)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'scope_=(scope)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11785,12 +15064,29 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-scope_=(scope)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-scope_=(scope)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="searchHistory" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'searchHistory');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11816,12 +15112,29 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-searchHistory">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-searchHistory">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="searchHistory_=(searchHistory)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'searchHistory_=(searchHistory)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11860,12 +15173,29 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-searchHistory_=(searchHistory)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-searchHistory_=(searchHistory)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="setCreationTrace()" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'setCreationTrace()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11898,12 +15228,29 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-setCreationTrace()">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-setCreationTrace()">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="setPhasePlan(phasess)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'setPhasePlan(phasess)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11948,12 +15295,29 @@ Phase
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-setPhasePlan(phasess)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-setPhasePlan(phasess)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="shouldExplain(cont)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'shouldExplain(cont)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11992,12 +15356,29 @@ Phase
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-shouldExplain(cont)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-shouldExplain(cont)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="source" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'source');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12023,14 +15404,33 @@ Phase
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current source file; will be derived from current
+                <div class="member-body-short" id="short-body-source">
+                    <p>The current source file; will be derived from current
+compilation unit.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-source">
+                    <p>The current source file; will be derived from current
 compilation unit.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="squashPhases(phasess,phasesToSkip,stopBeforePhases,stopAfterPhases,YCheckAfter)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'squashPhases(phasess,phasesToSkip,stopBeforePhases,stopAfterPhases,YCheckAfter)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12114,20 +15514,43 @@ String
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+Phase
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Squash TreeTransform's beloning to same sublist to a single TreeTransformer
+                <div class="member-body-short" id="short-body-squashPhases(phasess,phasesToSkip,stopBeforePhases,stopAfterPhases,YCheckAfter)">
+                    <p>Squash TreeTransform's beloning to same sublist to a single TreeTransformer
 Each TreeTransform gets own period,
 whereas a combined TreeTransformer gets...</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-squashPhases(phasess,phasesToSkip,stopBeforePhases,stopAfterPhases,YCheckAfter)">
+                    <p>Squash TreeTransform's beloning to same sublist to a single TreeTransformer
+Each TreeTransform gets own period,
+whereas a combined TreeTransformer gets period equal to union of periods of it's TreeTransforms</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="squashed(p)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'squashed(p)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12166,12 +15589,29 @@ whereas a combined TreeTransformer gets...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-squashed(p)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-squashed(p)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="squashedPhases_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'squashedPhases_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12213,13 +15653,31 @@ Phase
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Phases with consecutive Transforms grouped into a single phase, Empty array if squashing is disabled</p>
+                <div class="member-body-short" id="short-body-squashedPhases_=(x$1)">
+                    <p>Phases with consecutive Transforms grouped into a single phase, Empty array if squashing is disabled</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-squashedPhases_=(x$1)">
+                    <p>Phases with consecutive Transforms grouped into a single phase, Empty array if squashing is disabled</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="sstate" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'sstate');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12240,17 +15698,34 @@ Phase
                 
 
                 
-                <span class="no-left">: SettingsState</span>
+                <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/config/Settings$/SettingsState.html">SettingsState</a></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-sstate">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-sstate">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="sstate_=(sstate)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'sstate_=(sstate)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12289,12 +15764,29 @@ Phase
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-sstate_=(sstate)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-sstate_=(sstate)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="staticRef(path,generateStubs)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'staticRef(path,generateStubs)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12354,15 +15846,35 @@ Phase
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The current denotation of the static reference given by path,
+                <div class="member-body-short" id="short-body-staticRef(path,generateStubs)(ctx)">
+                    <p>The current denotation of the static reference given by path,
 or a MissingRef or NoQualifyingRef instance, if it does not exist.
 if generateStubs is set...</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-staticRef(path,generateStubs)(ctx)">
+                    <p>The current denotation of the static reference given by path,
+or a MissingRef or NoQualifyingRef instance, if it does not exist.
+if generateStubs is set, generates stubs for missing top-level symbols</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="summarized(depth)(op)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'summarized(depth)(op)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12412,14 +15924,33 @@ if generateStubs is set...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Perform string or text-producing operation <code>op</code> so that only a
+                <div class="member-body-short" id="short-body-summarized(depth)(op)">
+                    <p>Perform string or text-producing operation <code>op</code> so that only a
+summarized text with given recursion depth is shown</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-summarized(depth)(op)">
+                    <p>Perform string or text-producing operation <code>op</code> so that only a
 summarized text with given recursion depth is shown</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="superCallContext" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'superCallContext');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12445,18 +15976,56 @@ summarized text with given recursion depth is shown</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The context for a supercall. This context is used for elaborating
+                <div class="member-body-short" id="short-body-superCallContext">
+                    <p>The context for a supercall. This context is used for elaborating
 the parents of a class and their arguments.
 The context is computed from the current c...</p>
 <ul></ul>
 <p></p>
 <ul></ul>
 
+                </div>
+                <div class="member-body-long" id ="long-body-superCallContext">
+                    <p>The context for a supercall. This context is used for elaborating
+the parents of a class and their arguments.
+The context is computed from the current class context. It has</p>
+<ul>
+<li>as owner: The primary constructor of the class</li>
+<li>as outer context: The context enclosing the class context</li>
+<li>as scope: The parameter accessors in the class context</li>
+<li>with additional mode: InSuperCall</li>
+</ul>
+<p>The reasons for this peculiar choice of attributes are as follows:</p>
+<ul>
+<li>The constructor must be the owner, because that's where any local methods or closures
+should go.</li>
+<li>The context may not see any class members (inherited or defined), and should
+instead see definitions defined in the outer context which might be shadowed by
+such class members. That's why the outer context must be the outer context of the class.</li>
+<li>At the same time the context should see the parameter accessors of the current class,
+that's why they get added to the local scope. An alternative would have been to have the
+context see the constructor parameters instead, but then we'd need a final substitution step
+from constructor parameters to class parameter accessors.</li>
+</ul>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="superOrThisCallContext(owner,locals)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'superOrThisCallContext(owner,locals)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12503,13 +16072,31 @@ The context is computed from the current c...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The super- or this-call context with given owner and locals.</p>
+                <div class="member-body-short" id="short-body-superOrThisCallContext(owner,locals)">
+                    <p>The super- or this-call context with given owner and locals.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-superOrThisCallContext(owner,locals)">
+                    <p>The super- or this-call context with given owner and locals.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="synchronized(x$0)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'synchronized(x$0)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12548,12 +16135,29 @@ The context is computed from the current c...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-synchronized(x$0)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-synchronized(x$0)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="thisCallArgContext" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'thisCallArgContext');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12579,7 +16183,8 @@ The context is computed from the current c...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The context for the arguments of a this(...) constructor call.
+                <div class="member-body-short" id="short-body-thisCallArgContext">
+                    <p>The context for the arguments of a this(...) constructor call.
 The context is computed from the local auxiliary constructor context.
 It has</p>
 <ul>
@@ -12588,11 +16193,35 @@ It has</p>
 <li>as scope: The parameters of the auxiliary constructor.</li>
 </ul>
 
+                </div>
+                <div class="member-body-long" id ="long-body-thisCallArgContext">
+                    <p>The context for the arguments of a this(...) constructor call.
+The context is computed from the local auxiliary constructor context.
+It has</p>
+<ul>
+<li>as owner: The auxiliary constructor</li>
+<li>as outer context: The context enclosing the enclosing class context</li>
+<li>as scope: The parameters of the auxiliary constructor.</li>
+</ul>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toString" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toString');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12618,12 +16247,29 @@ It has</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-toString">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-toString">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toText(name)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(name)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12662,13 +16308,31 @@ It has</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The name as a text</p>
+                <div class="member-body-short" id="short-body-toText(name)">
+                    <p>The name as a text</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-toText(name)">
+                    <p>The name as a text</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toText(annot)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(annot)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12707,13 +16371,31 @@ It has</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Textual representation of annotation</p>
+                <div class="member-body-short" id="short-body-toText(annot)">
+                    <p>Textual representation of annotation</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-toText(annot)">
+                    <p>Textual representation of annotation</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toText(tree)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(tree)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12756,13 +16438,31 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Textual representation of tree</p>
+                <div class="member-body-short" id="short-body-toText(tree)">
+                    <p>Textual representation of tree</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-toText(tree)">
+                    <p>Textual representation of tree</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toText(sc)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(sc)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12801,13 +16501,31 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Textual representation of all definitions in a scope using <code>dclText</code> for each</p>
+                <div class="member-body-short" id="short-body-toText(sc)">
+                    <p>Textual representation of all definitions in a scope using <code>dclText</code> for each</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-toText(sc)">
+                    <p>Textual representation of all definitions in a scope using <code>dclText</code> for each</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toText(const)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(const)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12846,13 +16564,31 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Textual representation of constant</p>
+                <div class="member-body-short" id="short-body-toText(const)">
+                    <p>Textual representation of constant</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-toText(const)">
+                    <p>Textual representation of constant</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toText(sym)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(sym)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12891,14 +16627,33 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Textual representation, including symbol's kind e.g., &quot;class Foo&quot;, &quot;method Bar&quot;.
+                <div class="member-body-short" id="short-body-toText(sym)">
+                    <p>Textual representation, including symbol's kind e.g., &quot;class Foo&quot;, &quot;method Bar&quot;.
 If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-toText(sym)">
+                    <p>Textual representation, including symbol's kind e.g., &quot;class Foo&quot;, &quot;method Bar&quot;.
+If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toText(denot)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(denot)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12937,13 +16692,31 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Textual representation of denotation</p>
+                <div class="member-body-short" id="short-body-toText(denot)">
+                    <p>Textual representation of denotation</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-toText(denot)">
+                    <p>Textual representation of denotation</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toText(tp)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(tp)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12982,13 +16755,31 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Textual representation of type</p>
+                <div class="member-body-short" id="short-body-toText(tp)">
+                    <p>Textual representation of type</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-toText(tp)">
+                    <p>Textual representation of type</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toTextRecursions_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toTextRecursions_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13027,13 +16818,31 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Number of recursive invocations of a show method on current stack</p>
+                <div class="member-body-short" id="short-body-toTextRecursions_=(x$1)">
+                    <p>Number of recursive invocations of a show method on current stack</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-toTextRecursions_=(x$1)">
+                    <p>Number of recursive invocations of a show method on current stack</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="tree" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'tree');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13054,17 +16863,37 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
                 
 
                 
-                <span class="no-left">: Tree</span>
+                <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Tree.html">Tree</a>
+<span class="no-left no-right">[</span>
+<a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$.html#Untyped">Untyped</a><span class="bounds"> &lt;: </span>Any
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-tree">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-tree">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="tree_=(tree)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'tree_=(tree)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13106,12 +16935,29 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-tree_=(tree)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-tree_=(tree)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="typeAssigner" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'typeAssigner');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13137,12 +16983,29 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-typeAssigner">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-typeAssigner">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="typeAssigner_=(typeAssigner)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'typeAssigner_=(typeAssigner)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13181,12 +17044,29 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-typeAssigner_=(typeAssigner)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-typeAssigner_=(typeAssigner)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="typeComparer" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'typeComparer');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13212,12 +17092,29 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-typeComparer">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-typeComparer">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="typeComparer_=(typeComparer)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'typeComparer_=(typeComparer)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13256,12 +17153,29 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-typeComparer_=(typeComparer)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-typeComparer_=(typeComparer)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="typer" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'typer');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13287,12 +17201,29 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-typer">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-typer">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="typerPhase" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'typerPhase');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13318,12 +17249,29 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-typerPhase">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-typerPhase">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="typerState" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'typerState');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13349,12 +17297,29 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-typerState">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-typerState">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="typerState_=(typerState)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'typerState_=(typerState)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13393,12 +17358,29 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-typerState_=(typerState)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-typerState_=(typerState)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="underlyingRecursions_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'underlyingRecursions_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13437,14 +17419,33 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The number of recursive invocation of underlying on a NamedType
+                <div class="member-body-short" id="short-body-underlyingRecursions_=(x$1)">
+                    <p>The number of recursive invocation of underlying on a NamedType
+during a controlled operation.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-underlyingRecursions_=(x$1)">
+                    <p>The number of recursive invocation of underlying on a NamedType
 during a controlled operation.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="uniquesSizes" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'uniquesSizes');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13465,18 +17466,39 @@ during a controlled operation.</p>
                 
 
                 
-                <span class="no-left">: Map</span>
+                <span class="no-left">: Map
+<span class="no-left no-right">[</span>
+String<span class="">, </span>Int
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A map that associates label and size of all uniques sets</p>
+                <div class="member-body-short" id="short-body-uniquesSizes">
+                    <p>A map that associates label and size of all uniques sets</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-uniquesSizes">
+                    <p>A map that associates label and size of all uniques sets</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="unsafeNonvariant_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'unsafeNonvariant_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13515,15 +17537,35 @@ during a controlled operation.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A flag that some unsafe nonvariant instantiation was encountered
+                <div class="member-body-short" id="short-body-unsafeNonvariant_=(x$1)">
+                    <p>A flag that some unsafe nonvariant instantiation was encountered
 in this run. Used as a shortcut to a avoid scans of types in
 Typer.typedSelect.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-unsafeNonvariant_=(x$1)">
+                    <p>A flag that some unsafe nonvariant instantiation was encountered
+in this run. Used as a shortcut to a avoid scans of types in
+Typer.typedSelect.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="useColors" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'useColors');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13549,13 +17591,31 @@ Typer.typedSelect.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Should use colors when printing?</p>
+                <div class="member-body-short" id="short-body-useColors">
+                    <p>Should use colors when printing?</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-useColors">
+                    <p>Should use colors when printing?</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="usePhases(phasess,squash)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'usePhases(phasess,squash)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13605,15 +17665,35 @@ Phase
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Use the following phases in the order they are given.
+                <div class="member-body-short" id="short-body-usePhases(phasess,squash)">
+                    <p>Use the following phases in the order they are given.
 The list should never contain NoPhase.
 if squashing is enabled, phases in same subgroup will be sq...</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-usePhases(phasess,squash)">
+                    <p>Use the following phases in the order they are given.
+The list should never contain NoPhase.
+if squashing is enabled, phases in same subgroup will be squashed to single phase.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="verbose" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'verbose');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13639,13 +17719,31 @@ if squashing is enabled, phases in same subgroup will be sq...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Is the verbose option set?</p>
+                <div class="member-body-short" id="short-body-verbose">
+                    <p>Is the verbose option set?</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-verbose">
+                    <p>Is the verbose option set?</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="wait()" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'wait()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13678,12 +17776,29 @@ if squashing is enabled, phases in same subgroup will be sq...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-wait()">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-wait()">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="wait(x$0)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'wait(x$0)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13722,12 +17837,29 @@ if squashing is enabled, phases in same subgroup will be sq...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-wait(x$0)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-wait(x$0)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="wait(x$0,x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'wait(x$0,x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13774,12 +17906,29 @@ if squashing is enabled, phases in same subgroup will be sq...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-wait(x$0,x$1)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-wait(x$0,x$1)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="withModeBits(mode)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'withModeBits(mode)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13818,12 +17967,29 @@ if squashing is enabled, phases in same subgroup will be sq...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-withModeBits(mode)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-withModeBits(mode)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="withOwner(owner)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'withOwner(owner)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13862,12 +18028,29 @@ if squashing is enabled, phases in same subgroup will be sq...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-withOwner(owner)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-withOwner(owner)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="withPhase(phaseId)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'withPhase(phaseId)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13906,14 +18089,33 @@ if squashing is enabled, phases in same subgroup will be sq...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>This context at given phase.
+                <div class="member-body-short" id="short-body-withPhase(phaseId)">
+                    <p>This context at given phase.
+This method will always return a phase period equal to phaseId, thus will never return squashed phases</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-withPhase(phaseId)">
+                    <p>This context at given phase.
 This method will always return a phase period equal to phaseId, thus will never return squashed phases</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="withPhase(phase)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'withPhase(phase)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13952,12 +18154,29 @@ This method will always return a phase period equal to phaseId, thus will never
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-withPhase(phase)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-withPhase(phase)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="withPhaseNoEarlier(phase)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'withPhaseNoEarlier(phase)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -13996,12 +18215,29 @@ This method will always return a phase period equal to phaseId, thus will never
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-withPhaseNoEarlier(phase)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-withPhaseNoEarlier(phase)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="withPhaseNoLater(phase)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'withPhaseNoLater(phase)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -14040,12 +18276,29 @@ This method will always return a phase period equal to phaseId, thus will never
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-withPhaseNoLater(phase)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-withPhaseNoLater(phase)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="withProperty(key,value)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'withProperty(key,value)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -14098,8 +18351,24 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-withProperty(key,value)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-withProperty(key,value)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
     </div>