diff options
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> |