aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authordotty-bot <felix.mulder@epfl.ch>2017-04-10 09:38:07 +0000
committerdotty-bot <felix.mulder@epfl.ch>2017-04-10 09:38:07 +0000
commit882b4b6e06393574267297ca4fc13fa31bfcfd3f (patch)
tree7eeb5cf07f8ba61c2121ec602fead72e3d3cbef9 /docs
parentc3bd69ce20a9250b772294885b57021c24e24a8e (diff)
downloaddotty-882b4b6e06393574267297ca4fc13fa31bfcfd3f.tar.gz
dotty-882b4b6e06393574267297ca4fc13fa31bfcfd3f.tar.bz2
dotty-882b4b6e06393574267297ca4fc13fa31bfcfd3f.zip
Update gh-pages site for 318700fdaacd7e6707519e03f15a5ede99ca558a
Diffstat (limited to 'docs')
-rw-r--r--docs/contributing/debug-tests.html40
-rw-r--r--docs/contributing/eclipse.html40
-rw-r--r--docs/contributing/getting-started.html40
-rw-r--r--docs/contributing/intellij-idea.html40
-rw-r--r--docs/contributing/testing.html40
-rw-r--r--docs/contributing/workflow.html40
-rw-r--r--docs/index.html40
-rw-r--r--docs/internals/backend.html40
-rw-r--r--docs/internals/benchmarks.html40
-rw-r--r--docs/internals/classpaths.html40
-rw-r--r--docs/internals/contexts.html40
-rw-r--r--docs/internals/core-data-structures.html40
-rw-r--r--docs/internals/dotc-scalac.html40
-rw-r--r--docs/internals/higher-kinded-v2.html40
-rw-r--r--docs/internals/overall-structure.html40
-rw-r--r--docs/internals/periods.html40
-rw-r--r--docs/internals/syntax.html40
-rw-r--r--docs/internals/type-system.html40
-rw-r--r--docs/usage/cbt-projects.html40
-rw-r--r--docs/usage/dottydoc.html40
-rw-r--r--docs/usage/migrating.html40
-rw-r--r--docs/usage/sbt-projects.html40
22 files changed, 0 insertions, 880 deletions
diff --git a/docs/contributing/debug-tests.html b/docs/contributing/debug-tests.html
index 359c3bb89..65391f039 100644
--- a/docs/contributing/debug-tests.html
+++ b/docs/contributing/debug-tests.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/contributing/eclipse.html b/docs/contributing/eclipse.html
index 2937d2851..fa3eb903e 100644
--- a/docs/contributing/eclipse.html
+++ b/docs/contributing/eclipse.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/contributing/getting-started.html b/docs/contributing/getting-started.html
index 3a8fcf4b8..ae8626cd3 100644
--- a/docs/contributing/getting-started.html
+++ b/docs/contributing/getting-started.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/contributing/intellij-idea.html b/docs/contributing/intellij-idea.html
index 2b2f0e49d..7f918d39e 100644
--- a/docs/contributing/intellij-idea.html
+++ b/docs/contributing/intellij-idea.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/contributing/testing.html b/docs/contributing/testing.html
index 54d78d332..6acb1f6ae 100644
--- a/docs/contributing/testing.html
+++ b/docs/contributing/testing.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/contributing/workflow.html b/docs/contributing/workflow.html
index f59bbd80e..a97f8d0f9 100644
--- a/docs/contributing/workflow.html
+++ b/docs/contributing/workflow.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/index.html b/docs/index.html
index 6fe529b3e..c90914724 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href=".././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href=".././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href=".././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href=".././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href=".././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href=".././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href=".././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href=".././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href=".././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href=".././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href=".././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/internals/backend.html b/docs/internals/backend.html
index 0deab08bb..075da43b6 100644
--- a/docs/internals/backend.html
+++ b/docs/internals/backend.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/internals/benchmarks.html b/docs/internals/benchmarks.html
index dcdc1b2d8..758ef6d6b 100644
--- a/docs/internals/benchmarks.html
+++ b/docs/internals/benchmarks.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/internals/classpaths.html b/docs/internals/classpaths.html
index 56a0b80a9..520cad685 100644
--- a/docs/internals/classpaths.html
+++ b/docs/internals/classpaths.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/internals/contexts.html b/docs/internals/contexts.html
index 272c9a172..305e08aca 100644
--- a/docs/internals/contexts.html
+++ b/docs/internals/contexts.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/internals/core-data-structures.html b/docs/internals/core-data-structures.html
index d85a62620..3451265e2 100644
--- a/docs/internals/core-data-structures.html
+++ b/docs/internals/core-data-structures.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/internals/dotc-scalac.html b/docs/internals/dotc-scalac.html
index 0a3ac70aa..391e2beb9 100644
--- a/docs/internals/dotc-scalac.html
+++ b/docs/internals/dotc-scalac.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/internals/higher-kinded-v2.html b/docs/internals/higher-kinded-v2.html
index d7736b277..17b90b243 100644
--- a/docs/internals/higher-kinded-v2.html
+++ b/docs/internals/higher-kinded-v2.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/internals/overall-structure.html b/docs/internals/overall-structure.html
index 3a5562b65..fe012bcb2 100644
--- a/docs/internals/overall-structure.html
+++ b/docs/internals/overall-structure.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/internals/periods.html b/docs/internals/periods.html
index f548c4681..b4538ffba 100644
--- a/docs/internals/periods.html
+++ b/docs/internals/periods.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/internals/syntax.html b/docs/internals/syntax.html
index 76ae2a015..1dec4d692 100644
--- a/docs/internals/syntax.html
+++ b/docs/internals/syntax.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/internals/type-system.html b/docs/internals/type-system.html
index e48928789..ccc246f37 100644
--- a/docs/internals/type-system.html
+++ b/docs/internals/type-system.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/usage/cbt-projects.html b/docs/usage/cbt-projects.html
index 50a6aad3f..db8b3b76f 100644
--- a/docs/usage/cbt-projects.html
+++ b/docs/usage/cbt-projects.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/usage/dottydoc.html b/docs/usage/dottydoc.html
index 3bf310ebc..2770ec0f5 100644
--- a/docs/usage/dottydoc.html
+++ b/docs/usage/dottydoc.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/usage/migrating.html b/docs/usage/migrating.html
index 33496ea84..6e4d62936 100644
--- a/docs/usage/migrating.html
+++ b/docs/usage/migrating.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/docs/usage/sbt-projects.html b/docs/usage/sbt-projects.html
index 2283abf84..def4705a8 100644
--- a/docs/usage/sbt-projects.html
+++ b/docs/usage/sbt-projects.html
@@ -3139,21 +3139,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3197,16 +3182,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3248,21 +3223,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>