Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359

1 files changed, 1146 insertions, 61 deletions

diff --git a/api/dotty/tools/dotc/util/Positions$/Position.html b/api/dotty/tools/dotc/util/Positions$/Position.html
index cbceaf979..c5e68fbec 100644
--- a/api/dotty/tools/dotc/util/Positions$/Position.html
+++ b/api/dotty/tools/dotc/util/Positions$/Position.html
@@ -5321,6 +5321,9 @@
 
 <div id="entity-container">
     <div id="entity-title">
+        <span id="entity-annotations">
+            
+        </span>
         <span id="entity-modifiers">
             final
         </span>
@@ -5330,6 +5333,17 @@
         <span id="entity-name">
             Position
         </span>
+        
+        
+        <div id="super-types">
+            
+            
+            <span class="keyword">extends</span>
+            
+            <span class="entity-super-type">AnyVal</span>
+            
+        </div>
+        
     </div>
 
     
@@ -5343,12 +5357,93 @@ All quantities are encoded opaquely in a Long.</p>
     </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">Position</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                coords:
+                            </span>
+                            Long
+                            
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">Position</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                encoding:
+                            </span>
+                            Int
+                            
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">Position</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                source:
+                            </span>
+                            SourceFile
+                            
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                pos:
+                            </span>
+                            Position
+                            
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                outer:
+                            </span>
+                            SourcePosition
+                            
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+    </div>
+
+    <h1 class="section ">
+        Members
+    </h1>
 
     <div id="entity-members" class="entity-section ">
         
         <div id="coords" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'coords');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5374,12 +5469,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-coords">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-coords">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="beforeAndAfterPoint" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'beforeAndAfterPoint');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5400,17 +5512,42 @@ All quantities are encoded opaquely in a Long.</p>
                 
 
                 
-                <span class="no-left">: </span>
+                <span class="no-left">: <span class="no-right">(</span>
+List
+<span class="no-left no-right">[</span>
+Int
+<span class="no-left">]</span><span>, </span>List
+<span class="no-left no-right">[</span>
+Int
+<span class="no-left">]</span>
+<span class="no-left">)</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-beforeAndAfterPoint">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-beforeAndAfterPoint">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="canEqual(that)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'canEqual(that)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5449,12 +5586,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-canEqual(that)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-canEqual(that)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="clone()" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'clone()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5487,12 +5641,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-clone()">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-clone()">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="column" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'column');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5518,13 +5689,31 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The column of the position, starting at 0</p>
+                <div class="member-body-short" id="short-body-column">
+                    <p>The column of the position, starting at 0</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-column">
+                    <p>The column of the position, starting at 0</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(that)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'contains(that)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5563,13 +5752,31 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Does the range of this position contain the one of that position?</p>
+                <div class="member-body-short" id="short-body-contains(that)">
+                    <p>Does the range of this position contain the one of that position?</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-contains(that)">
+                    <p>Does the range of this position contain the one of that position?</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="end" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'end');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5595,13 +5802,31 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The end of this position</p>
+                <div class="member-body-short" id="short-body-end">
+                    <p>The end of this position</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-end">
+                    <p>The end of this position</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="end" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'end');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5627,12 +5852,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-end">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-end">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="endColumn" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'endColumn');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5658,12 +5900,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-endColumn">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-endColumn">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="endLine" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'endLine');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5689,12 +5948,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-endLine">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-endLine">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="endPos" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'endPos');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5720,13 +5996,31 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The zero-extent position with start and end at the end of this position</p>
+                <div class="member-body-short" id="short-body-endPos">
+                    <p>The zero-extent position with start and end at the end of this position</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-endPos">
+                    <p>The zero-extent position with start and end at the end of this position</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="eq(x$0)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'eq(x$0)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5765,12 +6059,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-eq(x$0)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-eq(x$0)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="exists" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'exists');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5796,13 +6107,31 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Is this position different from NoPosition?</p>
+                <div class="member-body-short" id="short-body-exists">
+                    <p>Is this position different from NoPosition?</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-exists">
+                    <p>Is this position different from NoPosition?</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="exists" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'exists');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5828,12 +6157,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-exists">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-exists">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="finalize()" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'finalize()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5866,12 +6212,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-finalize()">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-finalize()">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="focus" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'focus');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5897,13 +6260,31 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The zero-extent position with start and end at the point of this position</p>
+                <div class="member-body-short" id="short-body-focus">
+                    <p>The zero-extent position with start and end at the point of this position</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-focus">
+                    <p>The zero-extent position with start and end at the point of this position</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="isIndex" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isIndex');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5929,12 +6310,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-isIndex">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-isIndex">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="isPosition" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isPosition');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5960,12 +6358,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-isPosition">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-isPosition">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="isSourceDerived" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isSourceDerived');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5991,13 +6406,31 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Is this position source-derived?</p>
+                <div class="member-body-short" id="short-body-isSourceDerived">
+                    <p>Is this position source-derived?</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-isSourceDerived">
+                    <p>Is this position source-derived?</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="isSynthetic" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isSynthetic');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6023,13 +6456,31 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Is this position synthetic?</p>
+                <div class="member-body-short" id="short-body-isSynthetic">
+                    <p>Is this position synthetic?</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-isSynthetic">
+                    <p>Is this position synthetic?</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="line" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'line');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6055,13 +6506,31 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The line of the position, starting at 0</p>
+                <div class="member-body-short" id="short-body-line">
+                    <p>The line of the position, starting at 0</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-line">
+                    <p>The line of the position, starting at 0</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="lineContent(lineNumber)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lineContent(lineNumber)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6100,12 +6569,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-lineContent(lineNumber)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-lineContent(lineNumber)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lineContent" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lineContent');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6131,12 +6617,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-lineContent">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-lineContent">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lineOffsets" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lineOffsets');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6157,17 +6660,37 @@ All quantities are encoded opaquely in a Long.</p>
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+Int
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-lineOffsets">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-lineOffsets">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lines" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lines');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6188,18 +6711,39 @@ All quantities are encoded opaquely in a Long.</p>
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+Int
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The lines of the position</p>
+                <div class="member-body-short" id="short-body-lines">
+                    <p>The lines of the position</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-lines">
+                    <p>The lines of the position</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="ne(x$0)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'ne(x$0)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6238,12 +6782,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-ne(x$0)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-ne(x$0)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="notify()" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'notify()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6276,12 +6837,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-notify()">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-notify()">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="notifyAll()" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'notifyAll()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6314,12 +6892,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-notifyAll()">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-notifyAll()">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="orElse(that)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'orElse(that)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6358,12 +6953,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-orElse(that)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-orElse(that)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="point" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'point');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6389,13 +7001,31 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The point of this position, returns start for synthetic positions</p>
+                <div class="member-body-short" id="short-body-point">
+                    <p>The point of this position, returns start for synthetic positions</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-point">
+                    <p>The point of this position, returns start for synthetic positions</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="point" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'point');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6421,12 +7051,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-point">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-point">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="pointDelta" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'pointDelta');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6452,13 +7099,31 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The difference between point and start in this position</p>
+                <div class="member-body-short" id="short-body-pointDelta">
+                    <p>The difference between point and start in this position</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-pointDelta">
+                    <p>The difference between point and start in this position</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="productArity" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'productArity');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6484,12 +7149,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-productArity">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-productArity">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="productElement(n)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'productElement(n)');">[+]</span>
                 <span class="member-annotations">
                     @throws 
                 </span>
@@ -6528,12 +7210,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-productElement(n)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-productElement(n)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="productIterator" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'productIterator');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6554,17 +7253,37 @@ All quantities are encoded opaquely in a Long.</p>
                 
 
                 
-                <span class="no-left">: Iterator</span>
+                <span class="no-left">: Iterator
+<span class="no-left no-right">[</span>
+Any
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-productIterator">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-productIterator">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="productPrefix" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'productPrefix');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6590,12 +7309,29 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-productPrefix">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-productPrefix">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="shift(offset)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'shift(offset)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6634,14 +7370,33 @@ All quantities are encoded opaquely in a Long.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A position where all components are shifted by a given <code>offset</code>
+                <div class="member-body-short" id="short-body-shift(offset)">
+                    <p>A position where all components are shifted by a given <code>offset</code>
 relative to this position.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-shift(offset)">
+                    <p>A position where all components are shifted by a given <code>offset</code>
+relative to this position.</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="start" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'start');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6667,13 +7422,31 @@ relative to this position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The start of this position.</p>
+                <div class="member-body-short" id="short-body-start">
+                    <p>The start of this position.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-start">
+                    <p>The start of this position.</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="start" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'start');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6699,12 +7472,29 @@ relative to this position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-start">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-start">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="startColumn" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'startColumn');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6730,12 +7520,29 @@ relative to this position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-startColumn">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-startColumn">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="startLine" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'startLine');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6761,12 +7568,29 @@ relative to this position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-startLine">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-startLine">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="startPos" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'startPos');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6792,13 +7616,31 @@ relative to this position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The zero-extent position with start and end at the start of this position</p>
+                <div class="member-body-short" id="short-body-startPos">
+                    <p>The zero-extent position with start and end at the start of this position</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-startPos">
+                    <p>The zero-extent position with start and end at the start of this position</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="synchronized(x$0)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'synchronized(x$0)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6837,12 +7679,29 @@ relative to this position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-synchronized(x$0)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-synchronized(x$0)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toIndex" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toIndex');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6868,12 +7727,29 @@ relative to this position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-toIndex">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-toIndex">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toPosition" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toPosition');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6899,12 +7775,29 @@ relative to this position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-toPosition">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-toPosition">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toString" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toString');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6930,12 +7823,29 @@ relative to this position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-toString">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-toString">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toString" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toString');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6961,12 +7871,29 @@ relative to this position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-toString">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-toString">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toSynthetic" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toSynthetic');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6992,13 +7919,31 @@ relative to this position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A synthetic copy of this position</p>
+                <div class="member-body-short" id="short-body-toSynthetic">
+                    <p>A synthetic copy of this position</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-toSynthetic">
+                    <p>A synthetic copy of this position</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="union(that)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'union(that)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7037,14 +7982,33 @@ relative to this position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The union of two positions. This is the least range that encloses
+                <div class="member-body-short" id="short-body-union(that)">
+                    <p>The union of two positions. This is the least range that encloses
 both positions. It is always a synthetic position.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-union(that)">
+                    <p>The union of two positions. This is the least range that encloses
+both positions. It is always a synthetic position.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="wait()" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'wait()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7077,12 +8041,29 @@ both positions. It is always a synthetic position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-wait()">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-wait()">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="wait(x$0)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'wait(x$0)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7121,12 +8102,29 @@ both positions. It is always a synthetic position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-wait(x$0)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-wait(x$0)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="wait(x$0,x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'wait(x$0,x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7173,12 +8171,29 @@ both positions. It is always a synthetic position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-wait(x$0,x$1)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-wait(x$0,x$1)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="withEnd(end)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'withEnd(end)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7217,13 +8232,31 @@ both positions. It is always a synthetic position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A copy of this position with a different end</p>
+                <div class="member-body-short" id="short-body-withEnd(end)">
+                    <p>A copy of this position with a different end</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-withEnd(end)">
+                    <p>A copy of this position with a different end</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="withOuter(outer)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'withOuter(outer)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7262,12 +8295,29 @@ both positions. It is always a synthetic position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-withOuter(outer)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-withOuter(outer)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="withPoint(point)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'withPoint(point)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7306,13 +8356,31 @@ both positions. It is always a synthetic position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A copy of this position with a different point</p>
+                <div class="member-body-short" id="short-body-withPoint(point)">
+                    <p>A copy of this position with a different point</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-withPoint(point)">
+                    <p>A copy of this position with a different point</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="withStart(start)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'withStart(start)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7351,9 +8419,26 @@ both positions. It is always a synthetic position.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A copy of this position with a different start</p>
+                <div class="member-body-short" id="short-body-withStart(start)">
+                    <p>A copy of this position with a different start</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-withStart(start)">
+                    <p>A copy of this position with a different start</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>