diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-02-08 11:55:25 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-02-08 11:55:25 +0000 |
commit | 20e259e7445bef88e85a6c6f39d9da52f97c2477 (patch) | |
tree | 3a6cb3fedcf37488d457c68952b684ca43006224 /api/dotty/tools/dotc/core/Types$/Type.html | |
parent | a66e0de9d5ce7561edace5d0292346832089ba12 (diff) | |
download | dotty-20e259e7445bef88e85a6c6f39d9da52f97c2477.tar.gz dotty-20e259e7445bef88e85a6c6f39d9da52f97c2477.tar.bz2 dotty-20e259e7445bef88e85a6c6f39d9da52f97c2477.zip |
Update gh-pages site for 56ad4b195e18accf918b56da5f30e7c1eed0d9a4
Diffstat (limited to 'api/dotty/tools/dotc/core/Types$/Type.html')
-rw-r--r-- | api/dotty/tools/dotc/core/Types$/Type.html | 36 |
1 files changed, 18 insertions, 18 deletions
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 </script> </div><!-- end member --> - <div id="appliedTo(arg1,arg2)(ctx)" class="member "> + <div id="appliedTo(arg)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'appliedTo(arg1,arg2)(ctx)');">[+]</span> + <span class="expand-button" onclick="toggleMemberBody(this, 'appliedTo(arg)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6342,15 +6342,7 @@ Type <span class="no-left"> - arg1: - </span> - Type - - <span class="no-left">, </span> - - - <span class=""> - arg2: + arg: </span> Type @@ -6380,10 +6372,10 @@ Type </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-appliedTo(arg1,arg2)(ctx)"> + <div class="member-body-short" id="short-body-appliedTo(arg)(ctx)"> </div> - <div class="member-body-long" id ="long-body-appliedTo(arg1,arg2)(ctx)"> + <div class="member-body-long" id ="long-body-appliedTo(arg)(ctx)"> </div> </div> @@ -6400,9 +6392,9 @@ Type </script> </div><!-- end member --> - <div id="appliedTo(arg)(ctx)" class="member "> + <div id="appliedTo(arg1,arg2)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'appliedTo(arg)(ctx)');">[+]</span> + <span class="expand-button" onclick="toggleMemberBody(this, 'appliedTo(arg1,arg2)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6424,7 +6416,15 @@ Type <span class="no-left"> - arg: + arg1: + </span> + Type + + <span class="no-left">, </span> + + + <span class=""> + arg2: </span> Type @@ -6454,10 +6454,10 @@ Type </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-appliedTo(arg)(ctx)"> + <div class="member-body-short" id="short-body-appliedTo(arg1,arg2)(ctx)"> </div> - <div class="member-body-long" id ="long-body-appliedTo(arg)(ctx)"> + <div class="member-body-long" id ="long-body-appliedTo(arg1,arg2)(ctx)"> </div> </div> |