From 7ec0d89df9692ae1ed2b9c52fcf9c137985f503b Mon Sep 17 00:00:00 2001
From: dotty-bot
Date: Thu, 2 Feb 2017 14:19:33 +0000
Subject: Update gh-pages site for d9b6f18569deda5aa2860156bef8dc2abcce3708
---
api/dotty/tools/dotc/core/Types$/Type.html | 28 ++++++++++++++--------------
1 file changed, 14 insertions(+), 14 deletions(-)
(limited to 'api/dotty/tools/dotc/core/Types$/Type.html')
diff --git a/api/dotty/tools/dotc/core/Types$/Type.html b/api/dotty/tools/dotc/core/Types$/Type.html
index 5293487d6..baf66e856 100644
--- a/api/dotty/tools/dotc/core/Types$/Type.html
+++ b/api/dotty/tools/dotc/core/Types$/Type.html
@@ -5938,7 +5938,7 @@ agree wit...
-
+
@@ -5961,9 +5961,12 @@ agree wit...
- arg:
+ args:
- Type
+ List
+[
+Type
+]
)
@@ -5991,11 +5994,14 @@ agree wit...
-
+
The type representing
+
T[U1, ..., Un]
+
where
+
-
+
@@ -6018,12 +6024,9 @@ agree wit...
- args:
+ arg:
- List
-[
-Type
-]
+ Type
)
@@ -6051,10 +6054,7 @@ Type
-
The type representing
-
T[U1, ..., Un]
-
where
-
+
--
cgit v1.2.3