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