Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359

1 files changed, 675 insertions, 39 deletions

diff --git a/api/dotty/tools/dotc/core/Constraint.html b/api/dotty/tools/dotc/core/Constraint.html
index 42da631f1..ee4c3fb14 100644
--- a/api/dotty/tools/dotc/core/Constraint.html
+++ b/api/dotty/tools/dotc/core/Constraint.html
@@ -5321,6 +5321,9 @@
 
 <div id="entity-container">
     <div id="entity-title">
+        <span id="entity-annotations">
+            
+        </span>
         <span id="entity-modifiers">
             abstract
         </span>
@@ -5330,6 +5333,17 @@
         <span id="entity-name">
             Constraint
         </span>
+        
+        
+        <div id="super-types">
+            
+            
+            <span class="keyword">extends</span>
+            
+            <span class="entity-super-type">Showable</span>
+            
+        </div>
+        
     </div>
 
     
@@ -5346,12 +5360,35 @@ that has the PolyParam as origin.</li>
     </div>
     
 
-    <h1 class="section ">Members</h1>
+    <h1 class="section ">
+        Constructors
+    </h1>
+
+    <div id="entity-constructors" class="entity-section ">
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">Constraint</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+    </div>
+
+    <h1 class="section ">
+        Members
+    </h1>
 
     <div id="entity-members" class="entity-section ">
         
         <div id="This" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'This');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5380,12 +5417,29 @@ that has the PolyParam as origin.</li>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-This">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-This">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="&(other)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '&(other)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5437,13 +5491,31 @@ that has the PolyParam as origin.</li>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The weakest constraint that subsumes both this constraint and <code>other</code></p>
+                <div class="member-body-short" id="short-body-&(other)(ctx)">
+                    <p>The weakest constraint that subsumes both this constraint and <code>other</code></p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-&(other)(ctx)">
+                    <p>The weakest constraint that subsumes both this constraint and <code>other</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="add(poly,tvars)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'add(poly,tvars)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5506,14 +5578,33 @@ TypeVar
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A new constraint which is derived from this constraint by adding
+                <div class="member-body-short" id="short-body-add(poly,tvars)(ctx)">
+                    <p>A new constraint which is derived from this constraint by adding
+entries for all type parameters of <code>poly</code>.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-add(poly,tvars)(ctx)">
+                    <p>A new constraint which is derived from this constraint by adding
 entries for all type parameters of <code>poly</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="addLess(p1,p2)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'addLess(p1,p2)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5573,15 +5664,35 @@ entries for all type parameters of <code>poly</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A constraint that includes the relationship <code>p1 &lt;: p2</code>.
+                <div class="member-body-short" id="short-body-addLess(p1,p2)(ctx)">
+                    <p>A constraint that includes the relationship <code>p1 &lt;: p2</code>.
 <code>&lt;:</code> relationships between parameters (&quot;edges&quot;) are propagated, but
 non-parameter bounds are left al...</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-addLess(p1,p2)(ctx)">
+                    <p>A constraint that includes the relationship <code>p1 &lt;: p2</code>.
+<code>&lt;:</code> relationships between parameters (&quot;edges&quot;) are propagated, but
+non-parameter bounds are left alone.</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="checkClosed()(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'checkClosed()(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5627,13 +5738,31 @@ non-parameter bounds are left al...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Check that constraint only refers to PolyParams bound by itself</p>
+                <div class="member-body-short" id="short-body-checkClosed()(ctx)">
+                    <p>Check that constraint only refers to PolyParams bound by itself</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-checkClosed()(ctx)">
+                    <p>Check that constraint only refers to PolyParams bound by itself</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="checkNonCyclic()(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'checkNonCyclic()(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5679,13 +5808,31 @@ non-parameter bounds are left al...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Check that no constrained parameter contains itself as a bound</p>
+                <div class="member-body-short" id="short-body-checkNonCyclic()(ctx)">
+                    <p>Check that no constrained parameter contains itself as a bound</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-checkNonCyclic()(ctx)">
+                    <p>Check that no constrained parameter contains itself as a bound</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="contains(pt)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'contains(pt)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5724,13 +5871,31 @@ non-parameter bounds are left al...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Does the constraint's domain contain the type parameters of <code>pt</code>?</p>
+                <div class="member-body-short" id="short-body-contains(pt)">
+                    <p>Does the constraint's domain contain the type parameters of <code>pt</code>?</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-contains(pt)">
+                    <p>Does the constraint's domain contain the type parameters of <code>pt</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="contains(param)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'contains(param)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5769,13 +5934,31 @@ non-parameter bounds are left al...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Does the constraint's domain contain the type parameter <code>param</code>?</p>
+                <div class="member-body-short" id="short-body-contains(param)">
+                    <p>Does the constraint's domain contain the type parameter <code>param</code>?</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-contains(param)">
+                    <p>Does the constraint's domain contain the type parameter <code>param</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="contains(tvar)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'contains(tvar)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5814,13 +5997,31 @@ non-parameter bounds are left al...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Does this constraint contain the type variable <code>tvar</code> and is it uninstantiated?</p>
+                <div class="member-body-short" id="short-body-contains(tvar)">
+                    <p>Does this constraint contain the type variable <code>tvar</code> and is it uninstantiated?</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-contains(tvar)">
+                    <p>Does this constraint contain the type variable <code>tvar</code> and is it uninstantiated?</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="domainParams" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'domainParams');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5841,18 +6042,39 @@ non-parameter bounds are left al...</p>
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+PolyParam
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The polytype parameters constrained by this constraint</p>
+                <div class="member-body-short" id="short-body-domainParams">
+                    <p>The polytype parameters constrained by this constraint</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-domainParams">
+                    <p>The polytype parameters constrained by this constraint</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="domainPolys" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'domainPolys');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5873,18 +6095,39 @@ non-parameter bounds are left al...</p>
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+PolyType
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The polytypes constrained by this constraint</p>
+                <div class="member-body-short" id="short-body-domainPolys">
+                    <p>The polytypes constrained by this constraint</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-domainPolys">
+                    <p>The polytypes constrained by this constraint</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="entry(param)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'entry(param)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5923,14 +6166,33 @@ non-parameter bounds are left al...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The constraint entry for given type parameter <code>param</code>, or NoType if <code>param</code> is not part of
+                <div class="member-body-short" id="short-body-entry(param)">
+                    <p>The constraint entry for given type parameter <code>param</code>, or NoType if <code>param</code> is not part of
 the constraint domain. Note: Low level, implementation dependent...</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-entry(param)">
+                    <p>The constraint entry for given type parameter <code>param</code>, or NoType if <code>param</code> is not part of
+the constraint domain. Note: Low level, implementation dependent.</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="exclusiveLower(param,butNot)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'exclusiveLower(param,butNot)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5972,18 +6234,39 @@ the constraint domain. Note: Low level, implementation dependent...</p>
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+PolyParam
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>lower(param) \ lower(butNot)</p>
+                <div class="member-body-short" id="short-body-exclusiveLower(param,butNot)">
+                    <p>lower(param) \ lower(butNot)</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-exclusiveLower(param,butNot)">
+                    <p>lower(param) \ lower(butNot)</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="exclusiveUpper(param,butNot)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'exclusiveUpper(param,butNot)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6025,18 +6308,39 @@ the constraint domain. Note: Low level, implementation dependent...</p>
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+PolyParam
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>upper(param) \ upper(butNot)</p>
+                <div class="member-body-short" id="short-body-exclusiveUpper(param,butNot)">
+                    <p>upper(param) \ upper(butNot)</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-exclusiveUpper(param,butNot)">
+                    <p>upper(param) \ upper(butNot)</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="forallParams(p)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'forallParams(p)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6075,13 +6379,31 @@ the constraint domain. Note: Low level, implementation dependent...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Check whether predicate holds for all parameters in constraint</p>
+                <div class="member-body-short" id="short-body-forallParams(p)">
+                    <p>Check whether predicate holds for all parameters in constraint</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-forallParams(p)">
+                    <p>Check whether predicate holds for all parameters in constraint</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="foreachTypeVar(op)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'foreachTypeVar(op)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6120,14 +6442,33 @@ the constraint domain. Note: Low level, implementation dependent...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Perform operation <code>op</code> on all typevars, or only on uninstantiated
+                <div class="member-body-short" id="short-body-foreachTypeVar(op)">
+                    <p>Perform operation <code>op</code> on all typevars, or only on uninstantiated
 typevars, depending on whether <code>uninstOnly</code> is set or not.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-foreachTypeVar(op)">
+                    <p>Perform operation <code>op</code> on all typevars, or only on uninstantiated
+typevars, depending on whether <code>uninstOnly</code> is set or not.</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="fullBounds(param)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'fullBounds(param)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6179,13 +6520,31 @@ typevars, depending on whether <code>uninstOnly</code> is set or not.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The bounds of <code>param</code> including all known-to-be-smaller and -greater parameters</p>
+                <div class="member-body-short" id="short-body-fullBounds(param)(ctx)">
+                    <p>The bounds of <code>param</code> including all known-to-be-smaller and -greater parameters</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-fullBounds(param)(ctx)">
+                    <p>The bounds of <code>param</code> including all known-to-be-smaller and -greater parameters</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="fullLowerBound(param)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'fullLowerBound(param)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6237,13 +6596,31 @@ typevars, depending on whether <code>uninstOnly</code> is set or not.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The lower bound of <code>param</code> including all known-to-be-smaller parameters</p>
+                <div class="member-body-short" id="short-body-fullLowerBound(param)(ctx)">
+                    <p>The lower bound of <code>param</code> including all known-to-be-smaller parameters</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-fullLowerBound(param)(ctx)">
+                    <p>The lower bound of <code>param</code> including all known-to-be-smaller parameters</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="fullUpperBound(param)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'fullUpperBound(param)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6295,13 +6672,31 @@ typevars, depending on whether <code>uninstOnly</code> is set or not.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The upper bound of <code>param</code> including all known-to-be-greater parameters</p>
+                <div class="member-body-short" id="short-body-fullUpperBound(param)(ctx)">
+                    <p>The upper bound of <code>param</code> including all known-to-be-greater parameters</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-fullUpperBound(param)(ctx)">
+                    <p>The upper bound of <code>param</code> including all known-to-be-greater parameters</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="isLess(param1,param2)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isLess(param1,param2)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6348,13 +6743,31 @@ typevars, depending on whether <code>uninstOnly</code> is set or not.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Is it known that <code>param1 &lt;:&lt; param2</code>?</p>
+                <div class="member-body-short" id="short-body-isLess(param1,param2)">
+                    <p>Is it known that <code>param1 &lt;:&lt; param2</code>?</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-isLess(param1,param2)">
+                    <p>Is it known that <code>param1 &lt;:&lt; param2</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="isRemovable(pt)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isRemovable(pt)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6393,15 +6806,35 @@ typevars, depending on whether <code>uninstOnly</code> is set or not.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Is entry associated with <code>pt</code> removable? This is the case if
+                <div class="member-body-short" id="short-body-isRemovable(pt)">
+                    <p>Is entry associated with <code>pt</code> removable? This is the case if
 all type parameters of the entry are associated with type variables
 which have their <code>inst</code> fie...</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-isRemovable(pt)">
+                    <p>Is entry associated with <code>pt</code> removable? This is the case if
+all type parameters of the entry are associated with type variables
+which have their <code>inst</code> fields set.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lower(param)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lower(param)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6435,18 +6868,39 @@ which have their <code>inst</code> fie...</p>
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+PolyParam
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The parameters that are known to be smaller wrt &lt;: than <code>param</code></p>
+                <div class="member-body-short" id="short-body-lower(param)">
+                    <p>The parameters that are known to be smaller wrt &lt;: than <code>param</code></p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-lower(param)">
+                    <p>The parameters that are known to be smaller wrt &lt;: than <code>param</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="narrowBound(param,bound,isUpper)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'narrowBound(param,bound,isUpper)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6514,14 +6968,33 @@ which have their <code>inst</code> fie...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Narrow one of the bounds of type parameter <code>param</code>
+                <div class="member-body-short" id="short-body-narrowBound(param,bound,isUpper)(ctx)">
+                    <p>Narrow one of the bounds of type parameter <code>param</code>
+If <code>isUpper</code> is true, ensure that <code>param &lt;:</code>bound<code>, otherwise ensure that</code>param &gt;: bound`.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-narrowBound(param,bound,isUpper)(ctx)">
+                    <p>Narrow one of the bounds of type parameter <code>param</code>
 If <code>isUpper</code> is true, ensure that <code>param &lt;:</code>bound<code>, otherwise ensure that</code>param &gt;: bound`.</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="nonParamBounds(param)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'nonParamBounds(param)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6560,15 +7033,35 @@ If <code>isUpper</code> is true, ensure that <code>param &lt;:</code>bound<code>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The constraint bounds for given type parameter <code>param</code>.
+                <div class="member-body-short" id="short-body-nonParamBounds(param)">
+                    <p>The constraint bounds for given type parameter <code>param</code>.
 Poly params that are known to be smaller or greater than <code>param</code>
 are not contained in the return bou...</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-nonParamBounds(param)">
+                    <p>The constraint bounds for given type parameter <code>param</code>.
+Poly params that are known to be smaller or greater than <code>param</code>
+are not contained in the return bounds.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="remove(pt)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'remove(pt)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6620,13 +7113,31 @@ are not contained in the return bou...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A new constraint with all entries coming from <code>pt</code> removed.</p>
+                <div class="member-body-short" id="short-body-remove(pt)(ctx)">
+                    <p>A new constraint with all entries coming from <code>pt</code> removed.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-remove(pt)(ctx)">
+                    <p>A new constraint with all entries coming from <code>pt</code> removed.</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="replace(param,tp)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'replace(param,tp)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6686,16 +7197,38 @@ are not contained in the return bou...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A new constraint which is derived from this constraint by removing
+                <div class="member-body-short" id="short-body-replace(param,tp)(ctx)">
+                    <p>A new constraint which is derived from this constraint by removing
 the type parameter <code>param</code> from the domain and replacing all top-level occurrences
 of t...
 </p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-replace(param,tp)(ctx)">
+                    <p>A new constraint which is derived from this constraint by removing
+the type parameter <code>param</code> from the domain and replacing all top-level occurrences
+of the parameter elsewhere in the constraint by type <code>tp</code>, or a conservative
+approximation of it if that is needed to avoid cycles.
+Occurrences nested inside a refinement or prefix are not affected.</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="typeVarOfParam(param)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'typeVarOfParam(param)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6734,14 +7267,33 @@ of t...
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The type variable corresponding to parameter <code>param</code>, or
+                <div class="member-body-short" id="short-body-typeVarOfParam(param)">
+                    <p>The type variable corresponding to parameter <code>param</code>, or
 NoType, if <code>param</code> is not in constrained or is not paired with a type variable.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-typeVarOfParam(param)">
+                    <p>The type variable corresponding to parameter <code>param</code>, or
+NoType, if <code>param</code> is not in constrained or is not paired with a type variable.</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="unify(p1,p2)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'unify(p1,p2)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6801,14 +7353,33 @@ NoType, if <code>param</code> is not in constrained or is not paired with a type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A constraint resulting from adding p2 = p1 to this constraint, and at the same
+                <div class="member-body-short" id="short-body-unify(p1,p2)(ctx)">
+                    <p>A constraint resulting from adding p2 = p1 to this constraint, and at the same
 time transferring all bounds of p2 to p1</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-unify(p1,p2)(ctx)">
+                    <p>A constraint resulting from adding p2 = p1 to this constraint, and at the same
+time transferring all bounds of p2 to p1</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="uninstVars" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'uninstVars');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6829,18 +7400,39 @@ time transferring all bounds of p2 to p1</p>
                 
 
                 
-                <span class="no-left">: Seq</span>
+                <span class="no-left">: Seq
+<span class="no-left no-right">[</span>
+TypeVar
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The uninstantiated typevars of this constraint</p>
+                <div class="member-body-short" id="short-body-uninstVars">
+                    <p>The uninstantiated typevars of this constraint</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-uninstVars">
+                    <p>The uninstantiated typevars of this constraint</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="updateEntry(param,tp)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'updateEntry(param,tp)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6900,7 +7492,8 @@ time transferring all bounds of p2 to p1</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A new constraint which is derived from this constraint by updating
+                <div class="member-body-short" id="short-body-updateEntry(param,tp)(ctx)">
+                    <p>A new constraint which is derived from this constraint by updating
 the entry for parameter <code>param</code> to <code>tp</code>.
 <code>tp</code> can be one of the following:</p>
 <ul>
@@ -6908,11 +7501,34 @@ the entry for parameter <code>param</code> to <code>tp</code>.
 <li>Another type, indicating a solution for the parameter</li>
 </ul>
 
+                </div>
+                <div class="member-body-long" id ="long-body-updateEntry(param,tp)(ctx)">
+                    <p>A new constraint which is derived from this constraint by updating
+the entry for parameter <code>param</code> to <code>tp</code>.
+<code>tp</code> can be one of the following:</p>
+<ul>
+<li>A TypeBounds value, indicating new constraint bounds</li>
+<li>Another type, indicating a solution for the parameter</li>
+</ul>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="upper(param)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'upper(param)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6946,14 +7562,34 @@ the entry for parameter <code>param</code> to <code>tp</code>.
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+PolyParam
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The parameters that are known to be greater wrt &lt;: than <code>param</code></p>
+                <div class="member-body-short" id="short-body-upper(param)">
+                    <p>The parameters that are known to be greater wrt &lt;: than <code>param</code></p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-upper(param)">
+                    <p>The parameters that are known to be greater wrt &lt;: than <code>param</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>