min-heap-typed 1.40.0-rc → 1.40.0

package/coverage/lcov-report/base.css

@@ -1,90 +1,163 @@
 body, html {
-  margin:0; padding: 0;
-  height: 100%;
+    margin: 0;
+    padding: 0;
+    height: 100%;
 }
+
 body {
     font-family: Helvetica Neue, Helvetica, Arial;
     font-size: 14px;
-    color:#333;
+    color: #333;
+}
+
+.small {
+    font-size: 12px;
 }
-.small { font-size: 12px; }
+
 *, *:after, *:before {
-  -webkit-box-sizing:border-box;
-     -moz-box-sizing:border-box;
-          box-sizing:border-box;
-  }
-h1 { font-size: 20px; margin: 0;}
-h2 { font-size: 14px; }
+    -webkit-box-sizing: border-box;
+    -moz-box-sizing: border-box;
+    box-sizing: border-box;
+}
+
+h1 {
+    font-size: 20px;
+    margin: 0;
+}
+
+h2 {
+    font-size: 14px;
+}
+
 pre {
     font: 12px/1.4 Consolas, "Liberation Mono", Menlo, Courier, monospace;
     margin: 0;
     padding: 0;
     -moz-tab-size: 2;
-    -o-tab-size:  2;
+    -o-tab-size: 2;
     tab-size: 2;
 }
-a { color:#0074D9; text-decoration:none; }
-a:hover { text-decoration:underline; }
-.strong { font-weight: bold; }
-.space-top1 { padding: 10px 0 0 0; }
-.pad2y { padding: 20px 0; }
-.pad1y { padding: 10px 0; }
-.pad2x { padding: 0 20px; }
-.pad2 { padding: 20px; }
-.pad1 { padding: 10px; }
-.space-left2 { padding-left:55px; }
-.space-right2 { padding-right:20px; }
-.center { text-align:center; }
-.clearfix { display:block; }
+
+a {
+    color: #0074D9;
+    text-decoration: none;
+}
+
+a:hover {
+    text-decoration: underline;
+}
+
+.strong {
+    font-weight: bold;
+}
+
+.space-top1 {
+    padding: 10px 0 0 0;
+}
+
+.pad2y {
+    padding: 20px 0;
+}
+
+.pad1y {
+    padding: 10px 0;
+}
+
+.pad2x {
+    padding: 0 20px;
+}
+
+.pad2 {
+    padding: 20px;
+}
+
+.pad1 {
+    padding: 10px;
+}
+
+.space-left2 {
+    padding-left: 55px;
+}
+
+.space-right2 {
+    padding-right: 20px;
+}
+
+.center {
+    text-align: center;
+}
+
+.clearfix {
+    display: block;
+}
+
 .clearfix:after {
-  content:'';
-  display:block;
-  height:0;
-  clear:both;
-  visibility:hidden;
-  }
-.fl { float: left; }
-@media only screen and (max-width:640px) {
-  .col3 { width:100%; max-width:100%; }
-  .hide-mobile { display:none!important; }
+    content: '';
+    display: block;
+    height: 0;
+    clear: both;
+    visibility: hidden;
+}
+
+.fl {
+    float: left;
+}
+
+@media only screen and (max-width: 640px) {
+    .col3 {
+        width: 100%;
+        max-width: 100%;
+    }
+
+    .hide-mobile {
+        display: none !important;
+    }
 }
 
 .quiet {
-  color: #7f7f7f;
-  color: rgba(0,0,0,0.5);
+    color: #7f7f7f;
+    color: rgba(0, 0, 0, 0.5);
+}
+
+.quiet a {
+    opacity: 0.7;
 }
-.quiet a { opacity: 0.7; }
 
 .fraction {
-  font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace;
-  font-size: 10px;
-  color: #555;
-  background: #E8E8E8;
-  padding: 4px 5px;
-  border-radius: 3px;
-  vertical-align: middle;
+    font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace;
+    font-size: 10px;
+    color: #555;
+    background: #E8E8E8;
+    padding: 4px 5px;
+    border-radius: 3px;
+    vertical-align: middle;
+}
+
+div.path a:link, div.path a:visited {
+    color: #333;
 }
 
-div.path a:link, div.path a:visited { color: #333; }
 table.coverage {
-  border-collapse: collapse;
-  margin: 10px 0 0 0;
-  padding: 0;
+    border-collapse: collapse;
+    margin: 10px 0 0 0;
+    padding: 0;
 }
 
 table.coverage td {
-  margin: 0;
-  padding: 0;
-  vertical-align: top;
+    margin: 0;
+    padding: 0;
+    vertical-align: top;
 }
+
 table.coverage td.line-count {
     text-align: right;
     padding: 0 5px 0 20px;
 }
+
 table.coverage td.line-coverage {
     text-align: right;
     padding-right: 10px;
-    min-width:20px;
+    min-width: 20px;
 }
 
 table.coverage td span.cline-any {
@@ -92,6 +165,7 @@ table.coverage td span.cline-any {
     padding: 0 5px;
     width: 100%;
 }
+
 .missing-if-branch {
     display: inline-block;
     margin-right: 5px;
@@ -110,33 +184,70 @@ table.coverage td span.cline-any {
     background: #ccc;
     color: white;
 }
+
 .missing-if-branch .typ, .skip-if-branch .typ {
     color: inherit !important;
 }
+
 .coverage-summary {
-  border-collapse: collapse;
-  width: 100%;
-}
-.coverage-summary tr { border-bottom: 1px solid #bbb; }
-.keyline-all { border: 1px solid #ddd; }
-.coverage-summary td, .coverage-summary th { padding: 10px; }
-.coverage-summary tbody { border: 1px solid #bbb; }
-.coverage-summary td { border-right: 1px solid #bbb; }
-.coverage-summary td:last-child { border-right: none; }
+    border-collapse: collapse;
+    width: 100%;
+}
+
+.coverage-summary tr {
+    border-bottom: 1px solid #bbb;
+}
+
+.keyline-all {
+    border: 1px solid #ddd;
+}
+
+.coverage-summary td, .coverage-summary th {
+    padding: 10px;
+}
+
+.coverage-summary tbody {
+    border: 1px solid #bbb;
+}
+
+.coverage-summary td {
+    border-right: 1px solid #bbb;
+}
+
+.coverage-summary td:last-child {
+    border-right: none;
+}
+
 .coverage-summary th {
-  text-align: left;
-  font-weight: normal;
-  white-space: nowrap;
+    text-align: left;
+    font-weight: normal;
+    white-space: nowrap;
 }
-.coverage-summary th.file { border-right: none !important; }
-.coverage-summary th.pct { }
+
+.coverage-summary th.file {
+    border-right: none !important;
+}
+
+.coverage-summary th.pct {
+}
+
 .coverage-summary th.pic,
 .coverage-summary th.abs,
 .coverage-summary td.pct,
-.coverage-summary td.abs { text-align: right; }
-.coverage-summary td.file { white-space: nowrap;  }
-.coverage-summary td.pic { min-width: 120px !important;  }
-.coverage-summary tfoot td { }
+.coverage-summary td.abs {
+    text-align: right;
+}
+
+.coverage-summary td.file {
+    white-space: nowrap;
+}
+
+.coverage-summary td.pic {
+    min-width: 120px !important;
+}
+
+.coverage-summary tfoot td {
+}
 
 .coverage-summary .sorter {
     height: 10px;
@@ -145,44 +256,100 @@ table.coverage td span.cline-any {
     margin-left: 0.5em;
     background: url(sort-arrow-sprite.png) no-repeat scroll 0 0 transparent;
 }
+
 .coverage-summary .sorted .sorter {
     background-position: 0 -20px;
 }
+
 .coverage-summary .sorted-desc .sorter {
     background-position: 0 -10px;
 }
-.status-line {  height: 10px; }
+
+.status-line {
+    height: 10px;
+}
+
 /* yellow */
-.cbranch-no { background: yellow !important; color: #111; }
+.cbranch-no {
+    background: yellow !important;
+    color: #111;
+}
+
 /* dark red */
-.red.solid, .status-line.low, .low .cover-fill { background:#C21F39 }
-.low .chart { border:1px solid #C21F39 }
+.red.solid, .status-line.low, .low .cover-fill {
+    background: #C21F39
+}
+
+.low .chart {
+    border: 1px solid #C21F39
+}
+
 .highlighted,
-.highlighted .cstat-no, .highlighted .fstat-no, .highlighted .cbranch-no{
-  background: #C21F39 !important;
+.highlighted .cstat-no, .highlighted .fstat-no, .highlighted .cbranch-no {
+    background: #C21F39 !important;
 }
+
 /* medium red */
-.cstat-no, .fstat-no, .cbranch-no, .cbranch-no { background:#F6C6CE }
+.cstat-no, .fstat-no, .cbranch-no, .cbranch-no {
+    background: #F6C6CE
+}
+
 /* light red */
-.low, .cline-no { background:#FCE1E5 }
+.low, .cline-no {
+    background: #FCE1E5
+}
+
 /* light green */
-.high, .cline-yes { background:rgb(230,245,208) }
+.high, .cline-yes {
+    background: rgb(230, 245, 208)
+}
+
 /* medium green */
-.cstat-yes { background:rgb(161,215,106) }
+.cstat-yes {
+    background: rgb(161, 215, 106)
+}
+
 /* dark green */
-.status-line.high, .high .cover-fill { background:rgb(77,146,33) }
-.high .chart { border:1px solid rgb(77,146,33) }
+.status-line.high, .high .cover-fill {
+    background: rgb(77, 146, 33)
+}
+
+.high .chart {
+    border: 1px solid rgb(77, 146, 33)
+}
+
 /* dark yellow (gold) */
-.status-line.medium, .medium .cover-fill { background: #f9cd0b; }
-.medium .chart { border:1px solid #f9cd0b; }
+.status-line.medium, .medium .cover-fill {
+    background: #f9cd0b;
+}
+
+.medium .chart {
+    border: 1px solid #f9cd0b;
+}
+
 /* light yellow */
-.medium { background: #fff4c2; }
+.medium {
+    background: #fff4c2;
+}
 
-.cstat-skip { background: #ddd; color: #111; }
-.fstat-skip { background: #ddd; color: #111 !important; }
-.cbranch-skip { background: #ddd !important; color: #111; }
+.cstat-skip {
+    background: #ddd;
+    color: #111;
+}
+
+.fstat-skip {
+    background: #ddd;
+    color: #111 !important;
+}
+
+.cbranch-skip {
+    background: #ddd !important;
+    color: #111;
+}
 
-span.cline-neutral { background: #eaeaea; }
+span.cline-neutral {
+    background: #eaeaea;
+}
 
 .coverage-summary td.empty {
     opacity: .5;
@@ -193,32 +360,44 @@ span.cline-neutral { background: #eaeaea; }
 }
 
 .cover-fill, .cover-empty {
-  display:inline-block;
-  height: 12px;
+    display: inline-block;
+    height: 12px;
 }
+
 .chart {
-  line-height: 0;
+    line-height: 0;
 }
+
 .cover-empty {
     background: white;
 }
+
 .cover-full {
     border-right: none !important;
 }
+
 pre.prettyprint {
     border: none !important;
     padding: 0 !important;
     margin: 0 !important;
 }
-.com { color: #999 !important; }
-.ignore-none { color: #999; font-weight: normal; }
+
+.com {
+    color: #999 !important;
+}
+
+.ignore-none {
+    color: #999;
+    font-weight: normal;
+}
 
 .wrapper {
-  min-height: 100%;
-  height: auto !important;
-  height: 100%;
-  margin: 0 auto -48px;
+    min-height: 100%;
+    height: auto !important;
+    height: 100%;
+    margin: 0 auto -48px;
 }
+
 .footer, .push {
-  height: 48px;
+    height: 48px;
 }

package/coverage/lcov-report/index.html

@@ -1,116 +1,120 @@
-
 <!doctype html>
 <html lang="en">
 
 <head>
     <title>Code coverage report for All files</title>
-    <meta charset="utf-8" />
-    <link rel="stylesheet" href="prettify.css" />
-    <link rel="stylesheet" href="base.css" />
-    <link rel="shortcut icon" type="image/x-icon" href="favicon.png" />
-    <meta name="viewport" content="width=device-width, initial-scale=1" />
+    <meta charset="utf-8"/>
+    <link href="prettify.css" rel="stylesheet"/>
+    <link href="base.css" rel="stylesheet"/>
+    <link href="favicon.png" rel="shortcut icon" type="image/x-icon"/>
+    <meta content="width=device-width, initial-scale=1" name="viewport"/>
     <style type='text/css'>
         .coverage-summary .sorter {
             background-image: url(sort-arrow-sprite.png);
         }
     </style>
 </head>
-    
+
 <body>
 <div class='wrapper'>
     <div class='pad1'>
         <h1>All files</h1>
         <div class='clearfix'>
-            
+
             <div class='fl pad1y space-right2'>
                 <span class="strong">100% </span>
                 <span class="quiet">Statements</span>
                 <span class='fraction'>3/3</span>
             </div>
-        
-            
+
+
             <div class='fl pad1y space-right2'>
                 <span class="strong">100% </span>
                 <span class="quiet">Branches</span>
                 <span class='fraction'>0/0</span>
             </div>
-        
-            
+
+
             <div class='fl pad1y space-right2'>
                 <span class="strong">100% </span>
                 <span class="quiet">Functions</span>
                 <span class='fraction'>2/2</span>
             </div>
-        
-            
+
+
             <div class='fl pad1y space-right2'>
                 <span class="strong">100% </span>
                 <span class="quiet">Lines</span>
                 <span class='fraction'>1/1</span>
             </div>
-        
-            
+
+
         </div>
         <p class="quiet">
-            Press <em>n</em> or <em>j</em> to go to the next uncovered block, <em>b</em>, <em>p</em> or <em>k</em> for the previous block.
+            Press <em>n</em> or <em>j</em> to go to the next uncovered block, <em>b</em>, <em>p</em> or <em>k</em> for
+            the previous block.
         </p>
         <template id="filterTemplate">
             <div class="quiet">
                 Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
+                <input id="fileSearch" oninput="onInput()" type="search">
             </div>
         </template>
     </div>
     <div class='status-line high'></div>
     <div class="pad1">
-<table class="coverage-summary">
-<thead>
-<tr>
-   <th data-col="file" data-fmt="html" data-html="true" class="file">File</th>
-   <th data-col="pic" data-type="number" data-fmt="html" data-html="true" class="pic"></th>
-   <th data-col="statements" data-type="number" data-fmt="pct" class="pct">Statements</th>
-   <th data-col="statements_raw" data-type="number" data-fmt="html" class="abs"></th>
-   <th data-col="branches" data-type="number" data-fmt="pct" class="pct">Branches</th>
-   <th data-col="branches_raw" data-type="number" data-fmt="html" class="abs"></th>
-   <th data-col="functions" data-type="number" data-fmt="pct" class="pct">Functions</th>
-   <th data-col="functions_raw" data-type="number" data-fmt="html" class="abs"></th>
-   <th data-col="lines" data-type="number" data-fmt="pct" class="pct">Lines</th>
-   <th data-col="lines_raw" data-type="number" data-fmt="html" class="abs"></th>
-</tr>
-</thead>
-<tbody><tr>
-	<td class="file high" data-value="index.ts"><a href="index.ts.html">index.ts</a></td>
-	<td data-value="100" class="pic high">
-	<div class="chart"><div class="cover-fill cover-full" style="width: 100%"></div><div class="cover-empty" style="width: 0%"></div></div>
-	</td>
-	<td data-value="100" class="pct high">100%</td>
-	<td data-value="3" class="abs high">3/3</td>
-	<td data-value="100" class="pct high">100%</td>
-	<td data-value="0" class="abs high">0/0</td>
-	<td data-value="100" class="pct high">100%</td>
-	<td data-value="2" class="abs high">2/2</td>
-	<td data-value="100" class="pct high">100%</td>
-	<td data-value="1" class="abs high">1/1</td>
-	</tr>
+        <table class="coverage-summary">
+            <thead>
+            <tr>
+                <th class="file" data-col="file" data-fmt="html" data-html="true">File</th>
+                <th class="pic" data-col="pic" data-fmt="html" data-html="true" data-type="number"></th>
+                <th class="pct" data-col="statements" data-fmt="pct" data-type="number">Statements</th>
+                <th class="abs" data-col="statements_raw" data-fmt="html" data-type="number"></th>
+                <th class="pct" data-col="branches" data-fmt="pct" data-type="number">Branches</th>
+                <th class="abs" data-col="branches_raw" data-fmt="html" data-type="number"></th>
+                <th class="pct" data-col="functions" data-fmt="pct" data-type="number">Functions</th>
+                <th class="abs" data-col="functions_raw" data-fmt="html" data-type="number"></th>
+                <th class="pct" data-col="lines" data-fmt="pct" data-type="number">Lines</th>
+                <th class="abs" data-col="lines_raw" data-fmt="html" data-type="number"></th>
+            </tr>
+            </thead>
+            <tbody>
+            <tr>
+                <td class="file high" data-value="index.ts"><a href="index.ts.html">index.ts</a></td>
+                <td class="pic high" data-value="100">
+                    <div class="chart">
+                        <div class="cover-fill cover-full" style="width: 100%"></div>
+                        <div class="cover-empty" style="width: 0%"></div>
+                    </div>
+                </td>
+                <td class="pct high" data-value="100">100%</td>
+                <td class="abs high" data-value="3">3/3</td>
+                <td class="pct high" data-value="100">100%</td>
+                <td class="abs high" data-value="0">0/0</td>
+                <td class="pct high" data-value="100">100%</td>
+                <td class="abs high" data-value="2">2/2</td>
+                <td class="pct high" data-value="100">100%</td>
+                <td class="abs high" data-value="1">1/1</td>
+            </tr>
 
-</tbody>
-</table>
+            </tbody>
+        </table>
+    </div>
+    <div class='push'></div><!-- for sticky footer -->
+</div><!-- /wrapper -->
+<div class='footer quiet pad2 space-top1 center small'>
+    Code coverage generated by
+    <a href="https://istanbul.js.org/" rel="noopener noreferrer" target="_blank">istanbul</a>
+    at 2023-10-08T10:23:16.441Z
 </div>
-                <div class='push'></div><!-- for sticky footer -->
-            </div><!-- /wrapper -->
-            <div class='footer quiet pad2 space-top1 center small'>
-                Code coverage generated by
-                <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-10-08T10:23:16.441Z
-            </div>
-        <script src="prettify.js"></script>
-        <script>
-            window.onload = function () {
-                prettyPrint();
-            };
-        </script>
-        <script src="sorter.js"></script>
-        <script src="block-navigation.js"></script>
-    </body>
+<script src="prettify.js"></script>
+<script>
+    window.onload = function () {
+        prettyPrint();
+    };
+</script>
+<script src="sorter.js"></script>
+<script src="block-navigation.js"></script>
+</body>
 </html>