Update gh-pages site for f49c10d1667de897b2073d9b15c7c6cb8cc52482

1 files changed, 192 insertions, 110 deletions

diff --git a/api/dotty/tools/dotc/util/Positions$/Position.html b/api/dotty/tools/dotc/util/Positions$/Position.html
index 72a4aabd1..1fb8d0e83 100644
--- a/api/dotty/tools/dotc/util/Positions$/Position.html
+++ b/api/dotty/tools/dotc/util/Positions$/Position.html
@@ -118,6 +118,21 @@
             </li>
             
                 
+                <li class="index-entity  with-companion ">
+                    <div class="entity-kinds">
+                        
+                        <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/FatalError$.html">O</a>
+                        
+                        <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/FatalError.html">C</a>
+                    </div>
+                    <a class="entity-name" href="../../../../../.././api/dotty/tools/FatalError.html">FatalError</a>
+                </li>
+                
+            
+                
+                
+            
+                
                 <li class="index-entity ">
                     <div class="entity-kinds">
                         
@@ -1373,6 +1388,26 @@
                 
             
                 
+                <li class="index-entity ">
+                    <div class="entity-kinds">
+                        
+                        <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/PickleFormat$.html">O</a>
+                    </div>
+                    <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/PickleFormat$.html">PickleFormat</a>
+                </li>
+                
+            
+                
+                <li class="index-entity ">
+                    <div class="entity-kinds">
+                        
+                        <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/Scala2Flags$.html">O</a>
+                    </div>
+                    <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/Scala2Flags$.html">Scala2Flags</a>
+                </li>
+                
+            
+                
                 <li class="index-entity  with-companion ">
                     <div class="entity-kinds">
                         
@@ -2331,6 +2366,16 @@
                 <li class="index-entity ">
                     <div class="entity-kinds">
                         
+                        <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/sbt/SafeLazyWrapper$.html">O</a>
+                    </div>
+                    <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/sbt/SafeLazyWrapper$.html">SafeLazyWrapper</a>
+                </li>
+                
+            
+                
+                <li class="index-entity ">
+                    <div class="entity-kinds">
+                        
                         <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/sbt/ShowAPI$.html">O</a>
                     </div>
                     <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/sbt/ShowAPI$.html">ShowAPI</a>
@@ -3403,9 +3448,14 @@
                 
             
                 
-                <li class="index-entity ">
+                
+            
+                
+                <li class="index-entity  with-companion ">
                     <div class="entity-kinds">
                         
+                        <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/typer/NamerContextOps$.html">O</a>
+                        
                         <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/typer/NamerContextOps.html">T</a>
                     </div>
                     <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/NamerContextOps.html">NamerContextOps</a>
@@ -3873,6 +3923,21 @@
                 
             
                 
+                <li class="index-entity  with-companion ">
+                    <div class="entity-kinds">
+                        
+                        <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dottydoc/core/Counters$.html">O</a>
+                        
+                        <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dottydoc/core/Counters.html">C</a>
+                    </div>
+                    <a class="entity-name" href="../../../../../.././api/dotty/tools/dottydoc/core/Counters.html">Counters</a>
+                </li>
+                
+            
+                
+                
+            
+                
                 <li class="index-entity ">
                     <div class="entity-kinds">
                         
@@ -3973,6 +4038,31 @@
                 
             
                 
+                <li class="index-entity  with-companion ">
+                    <div class="entity-kinds">
+                        
+                        <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dottydoc/core/Statistics$.html">O</a>
+                        
+                        <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dottydoc/core/Statistics.html">C</a>
+                    </div>
+                    <a class="entity-name" href="../../../../../.././api/dotty/tools/dottydoc/core/Statistics.html">Statistics</a>
+                </li>
+                
+            
+                
+                
+            
+                
+                <li class="index-entity ">
+                    <div class="entity-kinds">
+                        
+                        <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dottydoc/core/StatisticsPhase.html">C</a>
+                    </div>
+                    <a class="entity-name" href="../../../../../.././api/dotty/tools/dottydoc/core/StatisticsPhase.html">StatisticsPhase</a>
+                </li>
+                
+            
+                
                 <li class="index-entity ">
                     <div class="entity-kinds">
                         
@@ -5443,7 +5533,7 @@ All quantities are encoded opaquely in a Long.</p>
         
         <div id="coords" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'coords');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'coords');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5491,7 +5581,7 @@ All quantities are encoded opaquely in a Long.</p>
         
         <div id="beforeAndAfterPoint" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'beforeAndAfterPoint');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'beforeAndAfterPoint');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5547,7 +5637,7 @@ Int
         
         <div id="canEqual(that)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'canEqual(that)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'canEqual(that)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5608,7 +5698,7 @@ Int
         
         <div id="clone()" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'clone()');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'clone()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5663,7 +5753,7 @@ Int
         
         <div id="column" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'column');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'column');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5713,7 +5803,7 @@ Int
         
         <div id="contains(that)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'contains(that)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'contains(that)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5776,7 +5866,7 @@ Int
         
         <div id="end" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'end');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'end');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5826,7 +5916,7 @@ Int
         
         <div id="end" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'end');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'end');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5874,7 +5964,7 @@ Int
         
         <div id="endColumn" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'endColumn');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'endColumn');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5922,7 +6012,7 @@ Int
         
         <div id="endLine" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'endLine');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'endLine');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5970,7 +6060,7 @@ Int
         
         <div id="endPos" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'endPos');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'endPos');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6020,7 +6110,7 @@ Int
         
         <div id="eq(x$0)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'eq(x$0)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'eq(x$0)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6081,7 +6171,7 @@ Int
         
         <div id="exists" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'exists');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'exists');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6131,7 +6221,7 @@ Int
         
         <div id="exists" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'exists');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'exists');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6179,7 +6269,7 @@ Int
         
         <div id="finalize()" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'finalize()');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'finalize()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6234,7 +6324,7 @@ Int
         
         <div id="focus" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'focus');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'focus');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6284,7 +6374,7 @@ Int
         
         <div id="isIndex" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'isIndex');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isIndex');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6332,7 +6422,7 @@ Int
         
         <div id="isPosition" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'isPosition');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isPosition');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6380,7 +6470,7 @@ Int
         
         <div id="isSourceDerived" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'isSourceDerived');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isSourceDerived');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6430,7 +6520,7 @@ Int
         
         <div id="isSynthetic" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'isSynthetic');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isSynthetic');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6480,7 +6570,7 @@ Int
         
         <div id="line" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'line');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'line');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6530,7 +6620,7 @@ Int
         
         <div id="lineContent" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'lineContent');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'lineContent');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6576,9 +6666,9 @@ Int
             </script>
         </div><!-- end member -->
         
-        <div id="lineContent(lineNumber)" class="member ">
+        <div id="lineOffsets" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'lineContent(lineNumber)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'lineOffsets');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6590,37 +6680,27 @@ Int
                 </span>
                 <span class="member-name ">
                     
-                        lineContent
+                        lineOffsets
                     
                 </span>
 
                 
-                    
-                    <span class="no-left">(</span>
-                        
-                        
-                            <span class="no-left">
-                                lineNumber:
-                            </span>
-                            Int
-                            
-                        
-                    <span class="no-left">)</span>
-                    
-                
 
                 
 
                 
-                <span class="no-left">: String</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-lineContent(lineNumber)">
+                <div class="member-body-short" id="short-body-lineOffsets">
                     
                 </div>
-                <div class="member-body-long" id ="long-body-lineContent(lineNumber)">
+                <div class="member-body-long" id ="long-body-lineOffsets">
                     
                 </div>
             </div>
@@ -6637,9 +6717,9 @@ Int
             </script>
         </div><!-- end member -->
         
-        <div id="lineOffsets" class="member ">
+        <div id="lines" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'lineOffsets');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'lines');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6651,7 +6731,7 @@ Int
                 </span>
                 <span class="member-name ">
                     
-                        lineOffsets
+                        lines
                     
                 </span>
 
@@ -6668,11 +6748,13 @@ Int
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-lineOffsets">
-                    
+                <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-lineOffsets">
-                    
+                <div class="member-body-long" id ="long-body-lines">
+                    <p>The lines of the position</p>
+
                 </div>
             </div>
             <script>
@@ -6688,9 +6770,9 @@ Int
             </script>
         </div><!-- end member -->
         
-        <div id="lines" class="member ">
+        <div id="linesSlice" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'lines');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'linesSlice');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6702,7 +6784,7 @@ Int
                 </span>
                 <span class="member-name ">
                     
-                        lines
+                        linesSlice
                     
                 </span>
 
@@ -6711,20 +6793,20 @@ Int
                 
 
                 
-                <span class="no-left">: List
+                <span class="no-left">: Array
 <span class="no-left no-right">[</span>
-Int
+Char
 <span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-lines">
-                    <p>The lines of the position</p>
+                <div class="member-body-short" id="short-body-linesSlice">
+                    <p>Extracts the lines from the underlying source file as <code>Array[Char]</code></p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-lines">
-                    <p>The lines of the position</p>
+                <div class="member-body-long" id ="long-body-linesSlice">
+                    <p>Extracts the lines from the underlying source file as <code>Array[Char]</code></p>
 
                 </div>
             </div>
@@ -6743,7 +6825,7 @@ Int
         
         <div id="ne(x$0)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'ne(x$0)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ne(x$0)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6804,7 +6886,7 @@ Int
         
         <div id="notify()" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'notify()');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'notify()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6859,7 +6941,7 @@ Int
         
         <div id="notifyAll()" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'notifyAll()');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'notifyAll()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6914,7 +6996,7 @@ Int
         
         <div id="orElse(that)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'orElse(that)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'orElse(that)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6975,7 +7057,7 @@ Int
         
         <div id="point" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'point');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'point');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7025,7 +7107,7 @@ Int
         
         <div id="point" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'point');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'point');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7073,7 +7155,7 @@ Int
         
         <div id="pointDelta" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'pointDelta');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'pointDelta');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7123,7 +7205,7 @@ Int
         
         <div id="productArity" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'productArity');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'productArity');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7171,7 +7253,7 @@ Int
         
         <div id="productElement(n)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'productElement(n)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'productElement(n)');">[+]</span>
                 <span class="member-annotations">
                     @throws 
                 </span>
@@ -7232,7 +7314,7 @@ Int
         
         <div id="productIterator" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'productIterator');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'productIterator');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7283,7 +7365,7 @@ Any
         
         <div id="productPrefix" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'productPrefix');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'productPrefix');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7331,7 +7413,7 @@ Any
         
         <div id="shift(offset)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'shift(offset)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'shift(offset)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7396,7 +7478,7 @@ relative to this position.</p>
         
         <div id="start" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'start');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'start');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7446,7 +7528,7 @@ relative to this position.</p>
         
         <div id="start" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'start');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'start');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7494,7 +7576,7 @@ relative to this position.</p>
         
         <div id="startColumn" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'startColumn');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'startColumn');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7542,7 +7624,7 @@ relative to this position.</p>
         
         <div id="startLine" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'startLine');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'startLine');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7590,7 +7672,7 @@ relative to this position.</p>
         
         <div id="startPos" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'startPos');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'startPos');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7640,7 +7722,7 @@ relative to this position.</p>
         
         <div id="synchronized(x$0)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'synchronized(x$0)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'synchronized(x$0)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7674,7 +7756,7 @@ relative to this position.</p>
                 
 
                 
-                <span class="no-left">: [X0] => (x$0: X0)X0 (not handled)</span>
+                <span class="no-left">: X0</span>
                 
             </div><!-- end member-title -->
 
@@ -7701,7 +7783,7 @@ relative to this position.</p>
         
         <div id="toIndex" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'toIndex');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toIndex');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7749,7 +7831,7 @@ relative to this position.</p>
         
         <div id="toPosition" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'toPosition');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toPosition');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7797,7 +7879,7 @@ relative to this position.</p>
         
         <div id="toString" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'toString');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toString');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7845,7 +7927,7 @@ relative to this position.</p>
         
         <div id="toString" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'toString');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toString');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7893,7 +7975,7 @@ relative to this position.</p>
         
         <div id="toSynthetic" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'toSynthetic');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toSynthetic');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -7943,7 +8025,7 @@ relative to this position.</p>
         
         <div id="union(that)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'union(that)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'union(that)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8006,9 +8088,9 @@ both positions. It is always a synthetic position.</p>
             </script>
         </div><!-- end member -->
         
-        <div id="wait()" class="member ">
+        <div id="wait(x$0,x$1)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'wait()');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'wait(x$0,x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8029,6 +8111,20 @@ both positions. It is always a synthetic position.</p>
                     <span class="no-left">(</span>
                         
                         
+                            <span class="no-left">
+                                x$0:
+                            </span>
+                            Long
+                            
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                x$1:
+                            </span>
+                            Int
+                            
+                        
                     <span class="no-left">)</span>
                     
                 
@@ -8041,10 +8137,10 @@ 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 class="member-body-short" id="short-body-wait(x$0,x$1)">
                     
                 </div>
-                <div class="member-body-long" id ="long-body-wait()">
+                <div class="member-body-long" id ="long-body-wait(x$0,x$1)">
                     
                 </div>
             </div>
@@ -8063,7 +8159,7 @@ both positions. It is always a synthetic position.</p>
         
         <div id="wait(x$0)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'wait(x$0)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'wait(x$0)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8122,9 +8218,9 @@ both positions. It is always a synthetic position.</p>
             </script>
         </div><!-- end member -->
         
-        <div id="wait(x$0,x$1)" class="member ">
+        <div id="wait()" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'wait(x$0,x$1)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'wait()');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8145,20 +8241,6 @@ both positions. It is always a synthetic position.</p>
                     <span class="no-left">(</span>
                         
                         
-                            <span class="no-left">
-                                x$0:
-                            </span>
-                            Long
-                            
-                                <span class="no-left">, </span>
-                            
-                        
-                            <span class="">
-                                x$1:
-                            </span>
-                            Int
-                            
-                        
                     <span class="no-left">)</span>
                     
                 
@@ -8171,10 +8253,10 @@ 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 class="member-body-short" id="short-body-wait()">
                     
                 </div>
-                <div class="member-body-long" id ="long-body-wait(x$0,x$1)">
+                <div class="member-body-long" id ="long-body-wait()">
                     
                 </div>
             </div>
@@ -8193,7 +8275,7 @@ both positions. It is always a synthetic position.</p>
         
         <div id="withEnd(end)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'withEnd(end)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'withEnd(end)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8256,7 +8338,7 @@ both positions. It is always a synthetic position.</p>
         
         <div id="withOuter(outer)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'withOuter(outer)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'withOuter(outer)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8317,7 +8399,7 @@ both positions. It is always a synthetic position.</p>
         
         <div id="withPoint(point)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'withPoint(point)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'withPoint(point)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -8380,7 +8462,7 @@ both positions. It is always a synthetic position.</p>
         
         <div id="withStart(start)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'withStart(start)');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'withStart(start)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>