Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359

1 files changed, 1340 insertions, 70 deletions

diff --git a/api/dotty/tools/dotc/core/Symbols.html b/api/dotty/tools/dotc/core/Symbols.html
index 85e3e780d..4df58aad4 100644
--- a/api/dotty/tools/dotc/core/Symbols.html
+++ b/api/dotty/tools/dotc/core/Symbols.html
@@ -5321,6 +5321,9 @@
 
 <div id="entity-container">
     <div id="entity-title">
+        <span id="entity-annotations">
+            
+        </span>
         <span id="entity-modifiers">
             
         </span>
@@ -5330,6 +5333,8 @@
         <span id="entity-name">
             Symbols
         </span>
+        
+        
     </div>
 
     
@@ -5339,12 +5344,23 @@
     </div>
     
 
-    <h1 class="section ">Members</h1>
+    <h1 class="section empty">
+        Constructors
+    </h1>
+
+    <div id="entity-constructors" class="entity-section empty">
+        
+    </div>
+
+    <h1 class="section ">
+        Members
+    </h1>
 
     <div id="entity-members" class="entity-section ">
         
         <div id="companionMethodFlags" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'companionMethodFlags');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5370,12 +5386,29 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-companionMethodFlags">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-companionMethodFlags">
+                    
+                </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="getClassIfDefined(path)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'getClassIfDefined(path)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5414,15 +5447,35 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Get ClassSymbol if class is either defined in current compilation run
+                <div class="member-body-short" id="short-body-getClassIfDefined(path)">
+                    <p>Get ClassSymbol if class is either defined in current compilation run
 or present on classpath.
 Returns NoSymbol otherwise.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-getClassIfDefined(path)">
+                    <p>Get ClassSymbol if class is either defined in current compilation run
+or present on classpath.
+Returns NoSymbol 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="mapSymbols(originals,ttmap,mapAlways)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'mapSymbols(originals,ttmap,mapAlways)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5475,21 +5528,45 @@ Symbol
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+Symbol
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Map given symbols, subjecting their attributes to the mappings
+                <div class="member-body-short" id="short-body-mapSymbols(originals,ttmap,mapAlways)">
+                    <p>Map given symbols, subjecting their attributes to the mappings
 defined in the given TreeTypeMap <code>ttmap</code>.
 Cross symbol references are brought over from ori...
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-mapSymbols(originals,ttmap,mapAlways)">
+                    <p>Map given symbols, subjecting their attributes to the mappings
+defined in the given TreeTypeMap <code>ttmap</code>.
+Cross symbol references are brought over from originals to copies.
+Do not copy any symbols if all attributes of all symbols stay the same.</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="mapSymbols$default$3" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'mapSymbols$default$3');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5515,16 +5592,37 @@ Cross symbol references are brought over from ori...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Map given symbols, subjecting their attributes to the mappings
+                <div class="member-body-short" id="short-body-mapSymbols$default$3">
+                    <p>Map given symbols, subjecting their attributes to the mappings
 defined in the given TreeTypeMap <code>ttmap</code>.
 Cross symbol references are brought over from ori...
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-mapSymbols$default$3">
+                    <p>Map given symbols, subjecting their attributes to the mappings
+defined in the given TreeTypeMap <code>ttmap</code>.
+Cross symbol references are brought over from originals to copies.
+Do not copy any symbols if all attributes of all symbols stay the same.</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="newClassSymbol(owner,name,flags,infoFn,privateWithin,coord,assocFile)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newClassSymbol(owner,name,flags,infoFn,privateWithin,coord,assocFile)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5611,14 +5709,33 @@ Cross symbol references are brought over from ori...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class symbol from its non-info fields and a function
+                <div class="member-body-short" id="short-body-newClassSymbol(owner,name,flags,infoFn,privateWithin,coord,assocFile)">
+                    <p>Create a class symbol from its non-info fields and a function
+producing its info (the produced info may be lazy).</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newClassSymbol(owner,name,flags,infoFn,privateWithin,coord,assocFile)">
+                    <p>Create a class symbol from its non-info fields and a function
 producing its info (the produced info may be lazy).</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="newClassSymbol$default$5" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newClassSymbol$default$5');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5644,14 +5761,33 @@ producing its info (the produced info may be lazy).</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class symbol from its non-info fields and a function
+                <div class="member-body-short" id="short-body-newClassSymbol$default$5">
+                    <p>Create a class symbol from its non-info fields and a function
+producing its info (the produced info may be lazy).</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newClassSymbol$default$5">
+                    <p>Create a class symbol from its non-info fields and a function
 producing its info (the produced info may be lazy).</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="newClassSymbol$default$6" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newClassSymbol$default$6');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5677,14 +5813,33 @@ producing its info (the produced info may be lazy).</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class symbol from its non-info fields and a function
+                <div class="member-body-short" id="short-body-newClassSymbol$default$6">
+                    <p>Create a class symbol from its non-info fields and a function
 producing its info (the produced info may be lazy).</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newClassSymbol$default$6">
+                    <p>Create a class symbol from its non-info fields and a function
+producing its info (the produced info may be lazy).</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="newClassSymbol$default$7" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newClassSymbol$default$7');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5710,14 +5865,33 @@ producing its info (the produced info may be lazy).</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class symbol from its non-info fields and a function
+                <div class="member-body-short" id="short-body-newClassSymbol$default$7">
+                    <p>Create a class symbol from its non-info fields and a function
+producing its info (the produced info may be lazy).</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newClassSymbol$default$7">
+                    <p>Create a class symbol from its non-info fields and a function
 producing its info (the produced info may be lazy).</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="newClassSymbolDenoting(denotFn,coord,assocFile)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newClassSymbolDenoting(denotFn,coord,assocFile)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5772,13 +5946,31 @@ producing its info (the produced info may be lazy).</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class symbol from a function producing its denotation</p>
+                <div class="member-body-short" id="short-body-newClassSymbolDenoting(denotFn,coord,assocFile)">
+                    <p>Create a class symbol from a function producing its denotation</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newClassSymbolDenoting(denotFn,coord,assocFile)">
+                    <p>Create a class symbol from a function producing its 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="newClassSymbolDenoting$default$2" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newClassSymbolDenoting$default$2');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5804,13 +5996,31 @@ producing its info (the produced info may be lazy).</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class symbol from a function producing its denotation</p>
+                <div class="member-body-short" id="short-body-newClassSymbolDenoting$default$2">
+                    <p>Create a class symbol from a function producing its denotation</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newClassSymbolDenoting$default$2">
+                    <p>Create a class symbol from a function producing its 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="newClassSymbolDenoting$default$3" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newClassSymbolDenoting$default$3');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5836,13 +6046,31 @@ producing its info (the produced info may be lazy).</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class symbol from a function producing its denotation</p>
+                <div class="member-body-short" id="short-body-newClassSymbolDenoting$default$3">
+                    <p>Create a class symbol from a function producing its denotation</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newClassSymbolDenoting$default$3">
+                    <p>Create a class symbol from a function producing its 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="newCompleteClassSymbol(owner,name,flags,parents,decls,selfInfo,privateWithin,coord,assocFile)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newCompleteClassSymbol(owner,name,flags,parents,decls,selfInfo,privateWithin,coord,assocFile)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5948,13 +6176,31 @@ TypeRef
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class symbol from its non-info fields and the fields of its info.</p>
+                <div class="member-body-short" id="short-body-newCompleteClassSymbol(owner,name,flags,parents,decls,selfInfo,privateWithin,coord,assocFile)">
+                    <p>Create a class symbol from its non-info fields and the fields of its info.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newCompleteClassSymbol(owner,name,flags,parents,decls,selfInfo,privateWithin,coord,assocFile)">
+                    <p>Create a class symbol from its non-info fields and the fields of its 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="newCompleteClassSymbol$default$5" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newCompleteClassSymbol$default$5');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5980,13 +6226,31 @@ TypeRef
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class symbol from its non-info fields and the fields of its info.</p>
+                <div class="member-body-short" id="short-body-newCompleteClassSymbol$default$5">
+                    <p>Create a class symbol from its non-info fields and the fields of its info.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newCompleteClassSymbol$default$5">
+                    <p>Create a class symbol from its non-info fields and the fields of its 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="newCompleteClassSymbol$default$6" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newCompleteClassSymbol$default$6');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6012,13 +6276,31 @@ TypeRef
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class symbol from its non-info fields and the fields of its info.</p>
+                <div class="member-body-short" id="short-body-newCompleteClassSymbol$default$6">
+                    <p>Create a class symbol from its non-info fields and the fields of its info.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newCompleteClassSymbol$default$6">
+                    <p>Create a class symbol from its non-info fields and the fields of its 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="newCompleteClassSymbol$default$7" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newCompleteClassSymbol$default$7');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6044,13 +6326,31 @@ TypeRef
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class symbol from its non-info fields and the fields of its info.</p>
+                <div class="member-body-short" id="short-body-newCompleteClassSymbol$default$7">
+                    <p>Create a class symbol from its non-info fields and the fields of its info.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newCompleteClassSymbol$default$7">
+                    <p>Create a class symbol from its non-info fields and the fields of its 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="newCompleteClassSymbol$default$8" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newCompleteClassSymbol$default$8');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6076,13 +6376,31 @@ TypeRef
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class symbol from its non-info fields and the fields of its info.</p>
+                <div class="member-body-short" id="short-body-newCompleteClassSymbol$default$8">
+                    <p>Create a class symbol from its non-info fields and the fields of its info.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newCompleteClassSymbol$default$8">
+                    <p>Create a class symbol from its non-info fields and the fields of its 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="newCompleteClassSymbol$default$9" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newCompleteClassSymbol$default$9');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6108,13 +6426,31 @@ TypeRef
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class symbol from its non-info fields and the fields of its info.</p>
+                <div class="member-body-short" id="short-body-newCompleteClassSymbol$default$9">
+                    <p>Create a class symbol from its non-info fields and the fields of its info.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newCompleteClassSymbol$default$9">
+                    <p>Create a class symbol from its non-info fields and the fields of its 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="newCompleteModuleSymbol(owner,name,modFlags,clsFlags,parents,decls,privateWithin,coord,assocFile)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newCompleteModuleSymbol(owner,name,modFlags,clsFlags,parents,decls,privateWithin,coord,assocFile)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6220,14 +6556,33 @@ TypeRef
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a module symbol with associated module class
+                <div class="member-body-short" id="short-body-newCompleteModuleSymbol(owner,name,modFlags,clsFlags,parents,decls,privateWithin,coord,assocFile)">
+                    <p>Create a module symbol with associated module class
 from its non-info fields and the fields of the module class info.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newCompleteModuleSymbol(owner,name,modFlags,clsFlags,parents,decls,privateWithin,coord,assocFile)">
+                    <p>Create a module symbol with associated module class
+from its non-info fields and the fields of the module class 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="newCompleteModuleSymbol$default$7" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newCompleteModuleSymbol$default$7');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6253,14 +6608,33 @@ from its non-info fields and the fields of the module class info.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a module symbol with associated module class
+                <div class="member-body-short" id="short-body-newCompleteModuleSymbol$default$7">
+                    <p>Create a module symbol with associated module class
 from its non-info fields and the fields of the module class info.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newCompleteModuleSymbol$default$7">
+                    <p>Create a module symbol with associated module class
+from its non-info fields and the fields of the module class 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="newCompleteModuleSymbol$default$8" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newCompleteModuleSymbol$default$8');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6286,14 +6660,33 @@ from its non-info fields and the fields of the module class info.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a module symbol with associated module class
+                <div class="member-body-short" id="short-body-newCompleteModuleSymbol$default$8">
+                    <p>Create a module symbol with associated module class
+from its non-info fields and the fields of the module class info.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newCompleteModuleSymbol$default$8">
+                    <p>Create a module symbol with associated module class
 from its non-info fields and the fields of the module class 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="newCompleteModuleSymbol$default$9" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newCompleteModuleSymbol$default$9');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6319,14 +6712,33 @@ from its non-info fields and the fields of the module class info.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a module symbol with associated module class
+                <div class="member-body-short" id="short-body-newCompleteModuleSymbol$default$9">
+                    <p>Create a module symbol with associated module class
 from its non-info fields and the fields of the module class info.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newCompleteModuleSymbol$default$9">
+                    <p>Create a module symbol with associated module class
+from its non-info fields and the fields of the module class 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="newCompletePackageSymbol(owner,name,modFlags,clsFlags,decls)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newCompletePackageSymbol(owner,name,modFlags,clsFlags,decls)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6397,14 +6809,33 @@ from its non-info fields and the fields of the module class info.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a package symbol with associated package class
+                <div class="member-body-short" id="short-body-newCompletePackageSymbol(owner,name,modFlags,clsFlags,decls)">
+                    <p>Create a package symbol with associated package class
+from its non-info fields its member scope.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newCompletePackageSymbol(owner,name,modFlags,clsFlags,decls)">
+                    <p>Create a package symbol with associated package class
 from its non-info fields its member 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="newCompletePackageSymbol$default$3" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newCompletePackageSymbol$default$3');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6430,14 +6861,33 @@ from its non-info fields its member scope.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a package symbol with associated package class
+                <div class="member-body-short" id="short-body-newCompletePackageSymbol$default$3">
+                    <p>Create a package symbol with associated package class
+from its non-info fields its member scope.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newCompletePackageSymbol$default$3">
+                    <p>Create a package symbol with associated package class
 from its non-info fields its member 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="newCompletePackageSymbol$default$4" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newCompletePackageSymbol$default$4');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6463,14 +6913,33 @@ from its non-info fields its member scope.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a package symbol with associated package class
+                <div class="member-body-short" id="short-body-newCompletePackageSymbol$default$4">
+                    <p>Create a package symbol with associated package class
+from its non-info fields its member scope.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newCompletePackageSymbol$default$4">
+                    <p>Create a package symbol with associated package class
 from its non-info fields its member 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="newCompletePackageSymbol$default$5" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newCompletePackageSymbol$default$5');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6496,14 +6965,33 @@ from its non-info fields its member scope.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a package symbol with associated package class
+                <div class="member-body-short" id="short-body-newCompletePackageSymbol$default$5">
+                    <p>Create a package symbol with associated package class
+from its non-info fields its member scope.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newCompletePackageSymbol$default$5">
+                    <p>Create a package symbol with associated package class
 from its non-info fields its member 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="newConstructor(cls,flags,paramNames,paramTypes,privateWithin,coord)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newConstructor(cls,flags,paramNames,paramTypes,privateWithin,coord)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6588,13 +7076,31 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class constructor symbol for given class <code>cls</code>.</p>
+                <div class="member-body-short" id="short-body-newConstructor(cls,flags,paramNames,paramTypes,privateWithin,coord)">
+                    <p>Create a class constructor symbol for given class <code>cls</code>.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newConstructor(cls,flags,paramNames,paramTypes,privateWithin,coord)">
+                    <p>Create a class constructor symbol for given class <code>cls</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="newConstructor$default$5" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newConstructor$default$5');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6620,13 +7126,31 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class constructor symbol for given class <code>cls</code>.</p>
+                <div class="member-body-short" id="short-body-newConstructor$default$5">
+                    <p>Create a class constructor symbol for given class <code>cls</code>.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newConstructor$default$5">
+                    <p>Create a class constructor symbol for given class <code>cls</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="newConstructor$default$6" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newConstructor$default$6');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6652,13 +7176,31 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class constructor symbol for given class <code>cls</code>.</p>
+                <div class="member-body-short" id="short-body-newConstructor$default$6">
+                    <p>Create a class constructor symbol for given class <code>cls</code>.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newConstructor$default$6">
+                    <p>Create a class constructor symbol for given class <code>cls</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="newDefaultConstructor(cls)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newDefaultConstructor(cls)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6697,13 +7239,31 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create an empty default constructor symbol for given class <code>cls</code>.</p>
+                <div class="member-body-short" id="short-body-newDefaultConstructor(cls)">
+                    <p>Create an empty default constructor symbol for given class <code>cls</code>.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newDefaultConstructor(cls)">
+                    <p>Create an empty default constructor symbol for given class <code>cls</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="newErrorSymbol(owner,name,msg)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newErrorSymbol(owner,name,msg)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6758,12 +7318,29 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-newErrorSymbol(owner,name,msg)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-newErrorSymbol(owner,name,msg)">
+                    
+                </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="newImportSymbol(owner,expr,coord)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newImportSymbol(owner,expr,coord)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6818,13 +7395,31 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create an import symbol pointing back to given qualifier <code>expr</code>.</p>
+                <div class="member-body-short" id="short-body-newImportSymbol(owner,expr,coord)">
+                    <p>Create an import symbol pointing back to given qualifier <code>expr</code>.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newImportSymbol(owner,expr,coord)">
+                    <p>Create an import symbol pointing back to given qualifier <code>expr</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="newImportSymbol$default$3" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newImportSymbol$default$3');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6850,13 +7445,31 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create an import symbol pointing back to given qualifier <code>expr</code>.</p>
+                <div class="member-body-short" id="short-body-newImportSymbol$default$3">
+                    <p>Create an import symbol pointing back to given qualifier <code>expr</code>.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newImportSymbol$default$3">
+                    <p>Create an import symbol pointing back to given qualifier <code>expr</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="newLocalDummy(cls,coord)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newLocalDummy(cls,coord)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6903,17 +7516,40 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create the local template dummy of given class <code>cls</code>.
+                <div class="member-body-short" id="short-body-newLocalDummy(cls,coord)">
+                    <p>Create the local template dummy of given class <code>cls</code>.
 In a template</p>
 <p>trait T { val fld: Int; { val x: int = 2 }; val fld2 = { val y = 2; y }}</p>
 <p>the owner of <code>x</code>
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newLocalDummy(cls,coord)">
+                    <p>Create the local template dummy of given class <code>cls</code>.
+In a template</p>
+<p>trait T { val fld: Int; { val x: int = 2 }; val fld2 = { val y = 2; y }}</p>
+<p>the owner of <code>x</code> is the local dummy of the template. The owner of the local
+dummy is then the class of the template itself. By contrast, the owner of <code>y</code>
+would be <code>fld2</code>. There is a single local dummy per template.</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="newLocalDummy$default$2" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newLocalDummy$default$2');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6939,17 +7575,40 @@ In a template</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create the local template dummy of given class <code>cls</code>.
+                <div class="member-body-short" id="short-body-newLocalDummy$default$2">
+                    <p>Create the local template dummy of given class <code>cls</code>.
 In a template</p>
 <p>trait T { val fld: Int; { val x: int = 2 }; val fld2 = { val y = 2; y }}</p>
 <p>the owner of <code>x</code>
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newLocalDummy$default$2">
+                    <p>Create the local template dummy of given class <code>cls</code>.
+In a template</p>
+<p>trait T { val fld: Int; { val x: int = 2 }; val fld2 = { val y = 2; y }}</p>
+<p>the owner of <code>x</code> is the local dummy of the template. The owner of the local
+dummy is then the class of the template itself. By contrast, the owner of <code>y</code>
+would be <code>fld2</code>. There is a single local dummy per template.</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="newModuleSymbol(owner,name,modFlags,clsFlags,infoFn,privateWithin,coord,assocFile)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newModuleSymbol(owner,name,modFlags,clsFlags,infoFn,privateWithin,coord,assocFile)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7044,15 +7703,35 @@ In a template</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a module symbol with associated module class
+                <div class="member-body-short" id="short-body-newModuleSymbol(owner,name,modFlags,clsFlags,infoFn,privateWithin,coord,assocFile)">
+                    <p>Create a module symbol with associated module class
 from its non-info fields and a function producing the info
 of the module class (this info may be laz...</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newModuleSymbol(owner,name,modFlags,clsFlags,infoFn,privateWithin,coord,assocFile)">
+                    <p>Create a module symbol with associated module class
+from its non-info fields and a function producing the info
+of the module class (this info may be lazy).</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="newModuleSymbol$default$6" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newModuleSymbol$default$6');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7078,15 +7757,35 @@ of the module class (this info may be laz...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a module symbol with associated module class
+                <div class="member-body-short" id="short-body-newModuleSymbol$default$6">
+                    <p>Create a module symbol with associated module class
 from its non-info fields and a function producing the info
 of the module class (this info may be laz...</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newModuleSymbol$default$6">
+                    <p>Create a module symbol with associated module class
+from its non-info fields and a function producing the info
+of the module class (this info may be lazy).</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="newModuleSymbol$default$7" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newModuleSymbol$default$7');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7112,15 +7811,35 @@ of the module class (this info may be laz...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a module symbol with associated module class
+                <div class="member-body-short" id="short-body-newModuleSymbol$default$7">
+                    <p>Create a module symbol with associated module class
 from its non-info fields and a function producing the info
 of the module class (this info may be laz...</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newModuleSymbol$default$7">
+                    <p>Create a module symbol with associated module class
+from its non-info fields and a function producing the info
+of the module class (this info may be lazy).</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="newModuleSymbol$default$8" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newModuleSymbol$default$8');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7146,15 +7865,35 @@ of the module class (this info may be laz...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a module symbol with associated module class
+                <div class="member-body-short" id="short-body-newModuleSymbol$default$8">
+                    <p>Create a module symbol with associated module class
 from its non-info fields and a function producing the info
 of the module class (this info may be laz...</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newModuleSymbol$default$8">
+                    <p>Create a module symbol with associated module class
+from its non-info fields and a function producing the info
+of the module class (this info may be lazy).</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="newNakedClassSymbol(coord,assocFile)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newNakedClassSymbol(coord,assocFile)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7214,13 +7953,31 @@ of the module class (this info may be laz...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class symbol without a denotation.</p>
+                <div class="member-body-short" id="short-body-newNakedClassSymbol(coord,assocFile)(ctx)">
+                    <p>Create a class symbol without a denotation.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newNakedClassSymbol(coord,assocFile)(ctx)">
+                    <p>Create a class symbol without a 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="newNakedClassSymbol$default$1" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newNakedClassSymbol$default$1');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7246,13 +8003,31 @@ of the module class (this info may be laz...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class symbol without a denotation.</p>
+                <div class="member-body-short" id="short-body-newNakedClassSymbol$default$1">
+                    <p>Create a class symbol without a denotation.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newNakedClassSymbol$default$1">
+                    <p>Create a class symbol without a 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="newNakedClassSymbol$default$2" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newNakedClassSymbol$default$2');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7278,13 +8053,31 @@ of the module class (this info may be laz...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a class symbol without a denotation.</p>
+                <div class="member-body-short" id="short-body-newNakedClassSymbol$default$2">
+                    <p>Create a class symbol without a denotation.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newNakedClassSymbol$default$2">
+                    <p>Create a class symbol without a 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="newNakedSymbol(coord)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newNakedSymbol(coord)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7336,15 +8129,35 @@ of the module class (this info may be laz...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a symbol without a denotation.
+                <div class="member-body-short" id="short-body-newNakedSymbol(coord)(ctx)">
+                    <p>Create a symbol without a denotation.
 Note this uses a cast instead of a direct type refinement because
 it's debug-friendlier not to create an anonymous...</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newNakedSymbol(coord)(ctx)">
+                    <p>Create a symbol without a denotation.
+Note this uses a cast instead of a direct type refinement because
+it's debug-friendlier not to create an anonymous class here.</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="newNakedSymbol$default$1" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newNakedSymbol$default$1');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7370,15 +8183,35 @@ it's debug-friendlier not to create an anonymous...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a symbol without a denotation.
+                <div class="member-body-short" id="short-body-newNakedSymbol$default$1">
+                    <p>Create a symbol without a denotation.
 Note this uses a cast instead of a direct type refinement because
 it's debug-friendlier not to create an anonymous...</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newNakedSymbol$default$1">
+                    <p>Create a symbol without a denotation.
+Note this uses a cast instead of a direct type refinement because
+it's debug-friendlier not to create an anonymous class here.</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="newNormalizedClassSymbol(owner,name,flags,parentTypes,decls,selfInfo,privateWithin,coord,assocFile)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newNormalizedClassSymbol(owner,name,flags,parentTypes,decls,selfInfo,privateWithin,coord,assocFile)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7484,14 +8317,33 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
+                <div class="member-body-short" id="short-body-newNormalizedClassSymbol(owner,name,flags,parentTypes,decls,selfInfo,privateWithin,coord,assocFile)">
+                    <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
 types which get normalized into type refs and parameter bindings.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newNormalizedClassSymbol(owner,name,flags,parentTypes,decls,selfInfo,privateWithin,coord,assocFile)">
+                    <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
+types which get normalized into type refs and parameter bindings.</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="newNormalizedClassSymbol$default$5" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newNormalizedClassSymbol$default$5');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7517,14 +8369,33 @@ types which get normalized into type refs and parameter bindings.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
+                <div class="member-body-short" id="short-body-newNormalizedClassSymbol$default$5">
+                    <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
+types which get normalized into type refs and parameter bindings.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newNormalizedClassSymbol$default$5">
+                    <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
 types which get normalized into type refs and parameter bindings.</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="newNormalizedClassSymbol$default$6" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newNormalizedClassSymbol$default$6');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7550,14 +8421,33 @@ types which get normalized into type refs and parameter bindings.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
+                <div class="member-body-short" id="short-body-newNormalizedClassSymbol$default$6">
+                    <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
+types which get normalized into type refs and parameter bindings.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newNormalizedClassSymbol$default$6">
+                    <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
 types which get normalized into type refs and parameter bindings.</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="newNormalizedClassSymbol$default$7" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newNormalizedClassSymbol$default$7');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7583,14 +8473,33 @@ types which get normalized into type refs and parameter bindings.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
+                <div class="member-body-short" id="short-body-newNormalizedClassSymbol$default$7">
+                    <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
+types which get normalized into type refs and parameter bindings.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newNormalizedClassSymbol$default$7">
+                    <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
 types which get normalized into type refs and parameter bindings.</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="newNormalizedClassSymbol$default$8" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newNormalizedClassSymbol$default$8');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7616,14 +8525,33 @@ types which get normalized into type refs and parameter bindings.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
+                <div class="member-body-short" id="short-body-newNormalizedClassSymbol$default$8">
+                    <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
+types which get normalized into type refs and parameter bindings.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newNormalizedClassSymbol$default$8">
+                    <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
 types which get normalized into type refs and parameter bindings.</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="newNormalizedClassSymbol$default$9" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newNormalizedClassSymbol$default$9');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7649,14 +8577,33 @@ types which get normalized into type refs and parameter bindings.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
+                <div class="member-body-short" id="short-body-newNormalizedClassSymbol$default$9">
+                    <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
+types which get normalized into type refs and parameter bindings.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newNormalizedClassSymbol$default$9">
+                    <p>Same as <code>newCompleteClassSymbol</code> except that <code>parents</code> can be a list of arbitrary
 types which get normalized into type refs and parameter bindings.</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="newPackageSymbol(owner,name,infoFn)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newPackageSymbol(owner,name,infoFn)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7711,14 +8658,33 @@ types which get normalized into type refs and parameter bindings.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a package symbol with associated package class
+                <div class="member-body-short" id="short-body-newPackageSymbol(owner,name,infoFn)">
+                    <p>Create a package symbol with associated package class
+from its non-info fields and a lazy type for loading the package's members.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newPackageSymbol(owner,name,infoFn)">
+                    <p>Create a package symbol with associated package class
 from its non-info fields and a lazy type for loading the package's members.</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="newSelfSym(cls,name,selfInfo)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newSelfSym(cls,name,selfInfo)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7773,13 +8739,31 @@ from its non-info fields and a lazy type for loading the package's members.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a symbol representing a selftype declaration for class <code>cls</code>.</p>
+                <div class="member-body-short" id="short-body-newSelfSym(cls,name,selfInfo)">
+                    <p>Create a symbol representing a selftype declaration for class <code>cls</code>.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newSelfSym(cls,name,selfInfo)">
+                    <p>Create a symbol representing a selftype declaration for class <code>cls</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="newSelfSym$default$2" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newSelfSym$default$2');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7805,13 +8789,31 @@ from its non-info fields and a lazy type for loading the package's members.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a symbol representing a selftype declaration for class <code>cls</code>.</p>
+                <div class="member-body-short" id="short-body-newSelfSym$default$2">
+                    <p>Create a symbol representing a selftype declaration for class <code>cls</code>.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newSelfSym$default$2">
+                    <p>Create a symbol representing a selftype declaration for class <code>cls</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="newSelfSym$default$3" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newSelfSym$default$3');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7837,13 +8839,31 @@ from its non-info fields and a lazy type for loading the package's members.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a symbol representing a selftype declaration for class <code>cls</code>.</p>
+                <div class="member-body-short" id="short-body-newSelfSym$default$3">
+                    <p>Create a symbol representing a selftype declaration for class <code>cls</code>.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newSelfSym$default$3">
+                    <p>Create a symbol representing a selftype declaration for class <code>cls</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="newSkolem(tp)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newSkolem(tp)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7882,14 +8902,33 @@ from its non-info fields and a lazy type for loading the package's members.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a new skolem symbol. This is not the same as SkolemType, even though the
+                <div class="member-body-short" id="short-body-newSkolem(tp)">
+                    <p>Create a new skolem symbol. This is not the same as SkolemType, even though the
+motivation (create a singleton referencing to a type) is similar.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newSkolem(tp)">
+                    <p>Create a new skolem symbol. This is not the same as SkolemType, even though the
 motivation (create a singleton referencing to a type) is similar.</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="newStubSymbol(owner,name,file)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newStubSymbol(owner,name,file)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7944,14 +8983,33 @@ motivation (create a singleton referencing to a type) is similar.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a stub symbol that will issue a missing reference error
+                <div class="member-body-short" id="short-body-newStubSymbol(owner,name,file)">
+                    <p>Create a stub symbol that will issue a missing reference error
+when attempted to be completed.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newStubSymbol(owner,name,file)">
+                    <p>Create a stub symbol that will issue a missing reference error
 when attempted to be completed.</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="newStubSymbol$default$3" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newStubSymbol$default$3');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7977,14 +9035,33 @@ when attempted to be completed.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a stub symbol that will issue a missing reference error
+                <div class="member-body-short" id="short-body-newStubSymbol$default$3">
+                    <p>Create a stub symbol that will issue a missing reference error
+when attempted to be completed.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newStubSymbol$default$3">
+                    <p>Create a stub symbol that will issue a missing reference error
 when attempted to be completed.</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="newSymbol(owner,name,flags,info,privateWithin,coord)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newSymbol(owner,name,flags,info,privateWithin,coord)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8063,13 +9140,31 @@ when attempted to be completed.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a symbol from its fields (info may be lazy)</p>
+                <div class="member-body-short" id="short-body-newSymbol(owner,name,flags,info,privateWithin,coord)">
+                    <p>Create a symbol from its fields (info may be lazy)</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newSymbol(owner,name,flags,info,privateWithin,coord)">
+                    <p>Create a symbol from its fields (info may be lazy)</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="newSymbol$default$5" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newSymbol$default$5');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8095,13 +9190,31 @@ when attempted to be completed.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a symbol from its fields (info may be lazy)</p>
+                <div class="member-body-short" id="short-body-newSymbol$default$5">
+                    <p>Create a symbol from its fields (info may be lazy)</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newSymbol$default$5">
+                    <p>Create a symbol from its fields (info may be lazy)</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="newSymbol$default$6" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newSymbol$default$6');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8127,13 +9240,31 @@ when attempted to be completed.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create a symbol from its fields (info may be lazy)</p>
+                <div class="member-body-short" id="short-body-newSymbol$default$6">
+                    <p>Create a symbol from its fields (info may be lazy)</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newSymbol$default$6">
+                    <p>Create a symbol from its fields (info may be lazy)</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="newTypeParams(owner,names,flags,boundsFn)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newTypeParams(owner,names,flags,boundsFn)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8200,18 +9331,39 @@ Type
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+TypeSymbol
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Create new type parameters with given owner, names, and flags.</p>
+                <div class="member-body-short" id="short-body-newTypeParams(owner,names,flags,boundsFn)">
+                    <p>Create new type parameters with given owner, names, and flags.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newTypeParams(owner,names,flags,boundsFn)">
+                    <p>Create new type parameters with given owner, names, and flags.</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="requiredClass(path)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'requiredClass(path)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8250,12 +9402,29 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-requiredClass(path)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-requiredClass(path)">
+                    
+                </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="requiredClassRef(path)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'requiredClassRef(path)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8294,12 +9463,29 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-requiredClassRef(path)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-requiredClassRef(path)">
+                    
+                </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="requiredModule(path)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'requiredModule(path)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8338,12 +9524,29 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-requiredModule(path)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-requiredModule(path)">
+                    
+                </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="requiredModuleRef(path)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'requiredModuleRef(path)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8382,12 +9585,29 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-requiredModuleRef(path)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-requiredModuleRef(path)">
+                    
+                </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="requiredPackage(path)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'requiredPackage(path)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8426,12 +9646,29 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-requiredPackage(path)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-requiredPackage(path)">
+                    
+                </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="requiredPackageRef(path)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'requiredPackageRef(path)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8470,12 +9707,29 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-requiredPackageRef(path)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-requiredPackageRef(path)">
+                    
+                </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="synthesizeCompanionMethod(name,target,owner)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'synthesizeCompanionMethod(name,target,owner)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8543,8 +9797,24 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-synthesizeCompanionMethod(name,target,owner)(ctx)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-synthesizeCompanionMethod(name,target,owner)(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>