From b25889b36dc433a0159e3c457c050bbeaa81fc5b Mon Sep 17 00:00:00 2001 From: dotty-bot Date: Tue, 4 Apr 2017 12:05:26 +0000 Subject: Update gh-pages site for 42c2a6fbbddf73ef2faeb6204c2b7521a76d7345 --- api/dotty/tools/dotc/core/Types$/Type.html | 76 +++++++++++++++--------------- 1 file changed, 38 insertions(+), 38 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 0259a47b5..880ee7c36 100644 --- a/api/dotty/tools/dotc/core/Types$/Type.html +++ b/api/dotty/tools/dotc/core/Types$/Type.html @@ -6325,9 +6325,9 @@ is covariant is irrelevant, so can be ignored.

-
+
- + @@ -6349,7 +6349,15 @@ is covariant is irrelevant, so can be ignored.

- arg: + arg1: + + Type + + , + + + + arg2: Type @@ -6379,10 +6387,10 @@ is covariant is irrelevant, so can be ignored.

-
+
-
+
@@ -6399,9 +6407,9 @@ is covariant is irrelevant, so can be ignored.

-
+
- + @@ -6423,12 +6431,9 @@ is covariant is irrelevant, so can be ignored.

- args: + arg: - List -[ -Type -] + Type ) @@ -6456,17 +6461,11 @@ Type
-
-

The type representing

-

T[U1, ..., Un]

-

where

- +
+
-
-

The type representing

-

T[U1, ..., Un]

-

where

- +
+
-
+
- + @@ -6506,17 +6505,12 @@ Type - arg1: - - Type - - , - - - - arg2: + args: - Type + List +[ +Type +] ) @@ -6544,11 +6538,17 @@ Type
-
- +
+

The type representing

+

T[U1, ..., Un]

+

where

+
-
- +
+

The type representing

+

T[U1, ..., Un]

+

where

+