diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-02-02 14:19:33 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-02-02 14:19:33 +0000 |
commit | 7ec0d89df9692ae1ed2b9c52fcf9c137985f503b (patch) | |
tree | c5197b4cceb447f6eb1a6446bac95f566654c2af /api/dotty/tools/dotc/core/Types$/Type.html | |
parent | abb6c717277fb7eb8635d94c32ecab5dee4dd903 (diff) | |
download | dotty-7ec0d89df9692ae1ed2b9c52fcf9c137985f503b.tar.gz dotty-7ec0d89df9692ae1ed2b9c52fcf9c137985f503b.tar.bz2 dotty-7ec0d89df9692ae1ed2b9c52fcf9c137985f503b.zip |
Update gh-pages site for d9b6f18569deda5aa2860156bef8dc2abcce3708
Diffstat (limited to 'api/dotty/tools/dotc/core/Types$/Type.html')
-rw-r--r-- | api/dotty/tools/dotc/core/Types$/Type.html | 28 |
1 files changed, 14 insertions, 14 deletions
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...</p> </div> </div><!-- end member --> - <div id="appliedTo(arg)(ctx)" class="member "> + <div id="appliedTo(args)(ctx)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -5961,9 +5961,12 @@ agree wit...</p> <span class="no-left"> - arg: + args: </span> - Type + List +<span class="no-left no-right">[</span> +Type +<span class="no-left">]</span> <span class="no-left">)</span> @@ -5991,11 +5994,14 @@ agree wit...</p> </div><!-- end member-title --> <div class="member-body"> - + <p>The type representing</p> +<p>T[U1, ..., Un]</p> +<p>where</p> + </div> </div><!-- end member --> - <div id="appliedTo(args)(ctx)" class="member "> + <div id="appliedTo(arg)(ctx)" class="member "> <div class="member-title"> <span class="member-annotations"> @@ -6018,12 +6024,9 @@ agree wit...</p> <span class="no-left"> - args: + arg: </span> - List -<span class="no-left no-right">[</span> -Type -<span class="no-left">]</span> + Type <span class="no-left">)</span> @@ -6051,10 +6054,7 @@ Type </div><!-- end member-title --> <div class="member-body"> - <p>The type representing</p> -<p>T[U1, ..., Un]</p> -<p>where</p> - + </div> </div><!-- end member --> |