From 20e259e7445bef88e85a6c6f39d9da52f97c2477 Mon Sep 17 00:00:00 2001 From: dotty-bot Date: Wed, 8 Feb 2017 11:55:25 +0000 Subject: Update gh-pages site for 56ad4b195e18accf918b56da5f30e7c1eed0d9a4 --- api/dotty/tools/dotc/core/Types$/Type.html | 36 +++++++++++++++--------------- 1 file changed, 18 insertions(+), 18 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 1c2f11432..41d8f879f 100644 --- a/api/dotty/tools/dotc/core/Types$/Type.html +++ b/api/dotty/tools/dotc/core/Types$/Type.html @@ -6318,9 +6318,9 @@ Type -
+
- [+] + [+] @@ -6342,15 +6342,7 @@ Type - arg1: - - Type - - , - - - - arg2: + arg: Type @@ -6380,10 +6372,10 @@ Type
-
+
-
+
@@ -6400,9 +6392,9 @@ Type
-
+
- [+] + [+] @@ -6424,7 +6416,15 @@ Type - arg: + arg1: + + Type + + , + + + + arg2: Type @@ -6454,10 +6454,10 @@ Type
-
+
-
+
-- cgit v1.2.3