Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359

1 files changed, 614 insertions, 33 deletions

diff --git a/api/dotty/tools/dotc/ast/Trees$/Tree.html b/api/dotty/tools/dotc/ast/Trees$/Tree.html
index f0d9b681f..f29a885e0 100644
--- a/api/dotty/tools/dotc/ast/Trees$/Tree.html
+++ b/api/dotty/tools/dotc/ast/Trees$/Tree.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,49 @@
         <span id="entity-name">
             Tree
         </span>
+        
+        <span id="entity-type-params">
+            <span class="no-left">[</span>
+            
+            <span class="no-left">
+                
+                    -T
+                
+            </span>
+            
+            <span class="no-left">]</span>
+        </span>
+        
+        
+        <div id="super-types">
+            
+            
+            <span class="keyword">extends</span>
+            
+            <span class="entity-super-type">Positioned</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">Product</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">Container</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">Showable</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">Cloneable</span>
+            
+        </div>
+        
     </div>
 
     
@@ -5353,12 +5399,35 @@ nodes.</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">Tree</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+    </div>
+
+    <h1 class="section ">
+        Members
+    </h1>
 
     <div id="entity-members" class="entity-section ">
         
         <div id="ThisTree" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'ThisTree');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5387,12 +5456,31 @@ nodes.</li>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-ThisTree">
+                    <p>The type  constructor at the root of the tree</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-ThisTree">
+                    <p>The type  constructor at the root of the 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="myTpe" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'myTpe');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5418,12 +5506,29 @@ nodes.</li>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-myTpe">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-myTpe">
+                    
+                </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="myUniqueId" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'myUniqueId');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5449,14 +5554,33 @@ nodes.</li>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A unique identifier for this tree. Used for debugging, and potentially
+                <div class="member-body-short" id="short-body-myUniqueId">
+                    <p>A unique identifier for this tree. Used for debugging, and potentially
 tracking presentation compiler interactions</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-myUniqueId">
+                    <p>A unique identifier for this tree. Used for debugging, and potentially
+tracking presentation compiler interactions</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>
@@ -5477,17 +5601,37 @@ tracking presentation compiler interactions</p>
                 
 
                 
-                <span class="no-left">: Tree</span>
+                <span class="no-left">: Tree
+<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-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="denot(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'denot(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5528,15 +5672,35 @@ tracking presentation compiler interactions</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The denotation referred tno by this tree.
+                <div class="member-body-short" id="short-body-denot(ctx)">
+                    <p>The denotation referred tno by this tree.
 Defined for <code>DenotingTree</code>s and <code>ProxyTree</code>s, NoDenotation for other
 kinds of trees</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-denot(ctx)">
+                    <p>The denotation referred tno by this tree.
+Defined for <code>DenotingTree</code>s and <code>ProxyTree</code>s, NoDenotation for other
+kinds of trees</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="equals(that)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'equals(that)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5575,12 +5739,29 @@ kinds of trees</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-equals(that)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-equals(that)">
+                    
+                </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="foreachInThicket(op)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'foreachInThicket(op)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5622,14 +5803,33 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>If this is a thicket, perform <code>op</code> on each of its trees
+                <div class="member-body-short" id="short-body-foreachInThicket(op)">
+                    <p>If this is a thicket, perform <code>op</code> on each of its trees
+otherwise, perform <code>op</code> ion tree itself.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-foreachInThicket(op)">
+                    <p>If this is a thicket, perform <code>op</code> on each of its trees
 otherwise, perform <code>op</code> ion tree itself.</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="hasType" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'hasType');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5655,16 +5855,37 @@ otherwise, perform <code>op</code> ion tree itself.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Does the tree have its type field set? Note: this operation is not
+                <div class="member-body-short" id="short-body-hasType">
+                    <p>Does the tree have its type field set? Note: this operation is not
 referentially transparent, because it can observe the withType
 modifications. Should...
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-hasType">
+                    <p>Does the tree have its type field set? Note: this operation is not
+referentially transparent, because it can observe the withType
+modifications. Should be used only in special circumstances (we
+need it for printing trees with optional type 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="hashCode()" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'hashCode()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5697,12 +5918,29 @@ modifications. Should...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-hashCode()">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-hashCode()">
+                    
+                </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="isDef" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isDef');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5728,13 +5966,31 @@ modifications. Should...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Does this tree define a new symbol that is not defined elsewhere?</p>
+                <div class="member-body-short" id="short-body-isDef">
+                    <p>Does this tree define a new symbol that is not defined elsewhere?</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-isDef">
+                    <p>Does this tree define a new symbol that is not defined elsewhere?</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="isEmpty" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isEmpty');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5760,13 +6016,31 @@ modifications. Should...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Is this tree either the empty tree or the empty ValDef or an empty type ident?</p>
+                <div class="member-body-short" id="short-body-isEmpty">
+                    <p>Is this tree either the empty tree or the empty ValDef or an empty type ident?</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-isEmpty">
+                    <p>Is this tree either the empty tree or the empty ValDef or an empty type ident?</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="isPattern" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isPattern');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5792,13 +6066,31 @@ modifications. Should...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Is this a legal part of a pattern which is not at the same time a term?</p>
+                <div class="member-body-short" id="short-body-isPattern">
+                    <p>Is this a legal part of a pattern which is not at the same time a term?</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-isPattern">
+                    <p>Is this a legal part of a pattern which is not at the same time a term?</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="isTerm" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isTerm');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5824,13 +6116,31 @@ modifications. Should...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Does this tree represent a term?</p>
+                <div class="member-body-short" id="short-body-isTerm">
+                    <p>Does this tree represent a term?</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-isTerm">
+                    <p>Does this tree represent a term?</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="isType" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isType');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5856,13 +6166,31 @@ modifications. Should...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Does this tree represent a type?</p>
+                <div class="member-body-short" id="short-body-isType">
+                    <p>Does this tree represent a type?</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-isType">
+                    <p>Does this tree represent a 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="myUniqueId_=(x$1)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'myUniqueId_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5901,14 +6229,33 @@ modifications. Should...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A unique identifier for this tree. Used for debugging, and potentially
+                <div class="member-body-short" id="short-body-myUniqueId_=(x$1)">
+                    <p>A unique identifier for this tree. Used for debugging, and potentially
+tracking presentation compiler interactions</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-myUniqueId_=(x$1)">
+                    <p>A unique identifier for this tree. Used for debugging, and potentially
 tracking presentation compiler interactions</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="nxId" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'nxId');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5934,12 +6281,29 @@ tracking presentation compiler interactions</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-nxId">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-nxId">
+                    
+                </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="orElse(that)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'orElse(that)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5976,18 +6340,39 @@ U
                 
 
                 
-                <span class="no-left">: Tree</span>
+                <span class="no-left">: Tree
+<span class="no-left no-right">[</span>
+U
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>if this tree is the empty tree, the alternative, else this tree</p>
+                <div class="member-body-short" id="short-body-orElse(that)">
+                    <p>if this tree is the empty tree, the alternative, else this tree</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-orElse(that)">
+                    <p>if this tree is the empty tree, the alternative, else this 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="overwriteType(tpe)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'overwriteType(tpe)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6026,15 +6411,36 @@ U
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Destructively set the type of the tree. This should be called only when it is known that
+                <div class="member-body-short" id="short-body-overwriteType(tpe)">
+                    <p>Destructively set the type of the tree. This should be called only when it is known that
 it is safe under sharing to do so. One use-case is in the with...
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-overwriteType(tpe)">
+                    <p>Destructively set the type of the tree. This should be called only when it is known that
+it is safe under sharing to do so. One use-case is in the withType method below
+which implements copy-on-write. Another use-case is in method interpolateAndAdapt in Typer,
+where we overwrite with a simplified version of the type itself.</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="symbol(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'symbol(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6075,13 +6481,31 @@ it is safe under sharing to do so. One use-case is in the with...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Shorthand for <code>denot.symbol</code>.</p>
+                <div class="member-body-short" id="short-body-symbol(ctx)">
+                    <p>Shorthand for <code>denot.symbol</code>.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-symbol(ctx)">
+                    <p>Shorthand for <code>denot.symbol</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="toList" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toList');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6102,19 +6526,44 @@ it is safe under sharing to do so. One use-case is in the with...
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+Tree
+<span class="no-left no-right">[</span>
+T
+<span class="no-left">]</span>
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Convert tree to a list. Gives a singleton list, except
+                <div class="member-body-short" id="short-body-toList">
+                    <p>Convert tree to a list. Gives a singleton list, except
+for thickets which return their element trees.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-toList">
+                    <p>Convert tree to a list. Gives a singleton list, except
 for thickets which return their element trees.</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(printer)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(printer)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6153,15 +6602,35 @@ for thickets which return their element trees.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The text representation of this showable element.
+                <div class="member-body-short" id="short-body-toText(printer)">
+                    <p>The text representation of this showable element.
+This normally dispatches to a pattern matching
+method in Printers.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-toText(printer)">
+                    <p>The text representation of this showable element.
 This normally dispatches to a pattern matching
 method in Printers.</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="tpe" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'tpe');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6187,14 +6656,33 @@ method in Printers.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The type of the tree. In case of an untyped tree,
+                <div class="member-body-short" id="short-body-tpe">
+                    <p>The type of the tree. In case of an untyped tree,
 an UnAssignedTypeException is thrown. (Overridden by empty trees)</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-tpe">
+                    <p>The type of the tree. In case of an untyped tree,
+an UnAssignedTypeException is thrown. (Overridden by empty trees)</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="treeSize" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'treeSize');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6220,13 +6708,31 @@ an UnAssignedTypeException is thrown. (Overridden by empty trees)</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The number of nodes in this tree</p>
+                <div class="member-body-short" id="short-body-treeSize">
+                    <p>The number of nodes in this tree</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-treeSize">
+                    <p>The number of nodes in this 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="typeOpt" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'typeOpt');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6252,12 +6758,29 @@ an UnAssignedTypeException is thrown. (Overridden by empty trees)</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-typeOpt">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-typeOpt">
+                    
+                </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="uniqueId" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'uniqueId');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6283,12 +6806,29 @@ an UnAssignedTypeException is thrown. (Overridden by empty trees)</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-uniqueId">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-uniqueId">
+                    
+                </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="withType(tpe)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'withType(tpe)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6335,19 +6875,41 @@ an UnAssignedTypeException is thrown. (Overridden by empty trees)</p>
                 
 
                 
-                <span class="no-left">: ThisTree</span>
+                <span class="no-left">: ThisTree
+<span class="no-left no-right">[</span>
+Type
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Return a typed tree that's isomorphic to this tree, but has given
+                <div class="member-body-short" id="short-body-withType(tpe)(ctx)">
+                    <p>Return a typed tree that's isomorphic to this tree, but has given
 type. (Overridden by empty trees)</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-withType(tpe)(ctx)">
+                    <p>Return a typed tree that's isomorphic to this tree, but has given
+type. (Overridden by empty trees)</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="withTypeUnchecked(tpe)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'withTypeUnchecked(tpe)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6381,13 +6943,32 @@ type. (Overridden by empty trees)</p>
                 
 
                 
-                <span class="no-left">: ThisTree</span>
+                <span class="no-left">: ThisTree
+<span class="no-left no-right">[</span>
+Type
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-withTypeUnchecked(tpe)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-withTypeUnchecked(tpe)">
+                    
+                </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>