Got rid of unnecessary 'div' elements in table.
This commit is contained in:
@@ -5,165 +5,113 @@ T</b>
|
||||
<tr>
|
||||
<td width="10%">
|
||||
</td>
|
||||
<td align="right" colspan="2">
|
||||
<div style="white-space:nowrap;font-weight:bold;">
|
||||
<td align="right" colspan="2" style="white-space:nowrap;font-weight:bold;">
|
||||
<b>
|
||||
fun</b>
|
||||
<T, E>
|
||||
writeToMyList</div>
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;font-weight:bold;">
|
||||
(</div>
|
||||
</td>
|
||||
<td align="right">
|
||||
<div style="white-space:nowrap;font-weight:bold;">
|
||||
l : MyList<in T>,</div>
|
||||
</td>
|
||||
<td align="right">
|
||||
<div style="white-space:nowrap;font-weight:bold;">
|
||||
t : T</div>
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;font-weight:bold;">
|
||||
)</div>
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;font-weight:bold;">
|
||||
writeToMyList</td>
|
||||
<td style="white-space:nowrap;font-weight:bold;">
|
||||
(</td>
|
||||
<td align="right" style="white-space:nowrap;font-weight:bold;">
|
||||
l : MyList<in T>,</td>
|
||||
<td align="right" style="white-space:nowrap;font-weight:bold;">
|
||||
t : T</td>
|
||||
<td style="white-space:nowrap;font-weight:bold;">
|
||||
)</td>
|
||||
<td style="white-space:nowrap;font-weight:bold;">
|
||||
: Unit <b>
|
||||
where</b>
|
||||
E : java.lang.Cloneable, E : java.io.Closeable</div>
|
||||
</td>
|
||||
E : java.lang.Cloneable, E : java.io.Closeable</td>
|
||||
</tr>
|
||||
<tr>
|
||||
<td colspan="8">
|
||||
<div style="white-space:nowrap;">
|
||||
None of the following substitutions</div>
|
||||
</td>
|
||||
<td colspan="8" style="white-space:nowrap;">
|
||||
None of the following substitutions</td>
|
||||
</tr>
|
||||
<tr>
|
||||
<td width="10%">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
</div>
|
||||
<td style="white-space:nowrap;">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
</div>
|
||||
<td style="white-space:nowrap;">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
<td style="white-space:nowrap;">
|
||||
<b>
|
||||
(</b>
|
||||
</div>
|
||||
</td>
|
||||
<td align="right">
|
||||
<div style="white-space:nowrap;">
|
||||
<td align="right" style="white-space:nowrap;">
|
||||
<font color=red>
|
||||
<b>
|
||||
MyList<in jet.Any></b>
|
||||
</font>
|
||||
<b>
|
||||
,</b>
|
||||
</div>
|
||||
</td>
|
||||
<td align="right">
|
||||
<div style="white-space:nowrap;">
|
||||
<td align="right" style="white-space:nowrap;">
|
||||
<b>
|
||||
jet.Any</b>
|
||||
</div>
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
<td style="white-space:nowrap;">
|
||||
<b>
|
||||
)</b>
|
||||
</div>
|
||||
</td>
|
||||
</tr>
|
||||
<tr>
|
||||
<td width="10%">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
</div>
|
||||
<td style="white-space:nowrap;">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
</div>
|
||||
<td style="white-space:nowrap;">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
<td style="white-space:nowrap;">
|
||||
<b>
|
||||
(</b>
|
||||
</div>
|
||||
</td>
|
||||
<td align="right">
|
||||
<div style="white-space:nowrap;">
|
||||
<td align="right" style="white-space:nowrap;">
|
||||
<b>
|
||||
MyList<in jet.Int></b>
|
||||
<b>
|
||||
,</b>
|
||||
</div>
|
||||
</td>
|
||||
<td align="right">
|
||||
<div style="white-space:nowrap;">
|
||||
<td align="right" style="white-space:nowrap;">
|
||||
<font color=red>
|
||||
<b>
|
||||
jet.Int</b>
|
||||
</font>
|
||||
</div>
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
<td style="white-space:nowrap;">
|
||||
<b>
|
||||
)</b>
|
||||
</div>
|
||||
</td>
|
||||
</tr>
|
||||
<tr>
|
||||
<td colspan="8">
|
||||
<div style="white-space:nowrap;">
|
||||
can be applied to</div>
|
||||
</td>
|
||||
<td colspan="8" style="white-space:nowrap;">
|
||||
can be applied to</td>
|
||||
</tr>
|
||||
<tr>
|
||||
<td width="10%">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
</div>
|
||||
<td style="white-space:nowrap;">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
</div>
|
||||
<td style="white-space:nowrap;">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
<td style="white-space:nowrap;">
|
||||
<b>
|
||||
(</b>
|
||||
</div>
|
||||
</td>
|
||||
<td align="right">
|
||||
<div style="white-space:nowrap;">
|
||||
<td align="right" style="white-space:nowrap;">
|
||||
<b>
|
||||
MyList<jet.Int></b>
|
||||
<b>
|
||||
,</b>
|
||||
</div>
|
||||
</td>
|
||||
<td align="right">
|
||||
<div style="white-space:nowrap;">
|
||||
<td align="right" style="white-space:nowrap;">
|
||||
<b>
|
||||
jet.Any</b>
|
||||
</div>
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
<td style="white-space:nowrap;">
|
||||
<b>
|
||||
)</b>
|
||||
</div>
|
||||
</td>
|
||||
</tr>
|
||||
</table>
|
||||
</html>
|
||||
</html>
|
||||
@@ -5,163 +5,111 @@ T</b>
|
||||
<tr>
|
||||
<td width="10%">
|
||||
</td>
|
||||
<td align="right" colspan="2">
|
||||
<div style="white-space:nowrap;font-weight:bold;">
|
||||
<td align="right" colspan="2" style="white-space:nowrap;font-weight:bold;">
|
||||
<b>
|
||||
ctor</b>
|
||||
Cons<T, E : java.lang.Cloneable>
|
||||
</div>
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;font-weight:bold;">
|
||||
(</div>
|
||||
</td>
|
||||
<td align="right">
|
||||
<div style="white-space:nowrap;font-weight:bold;">
|
||||
l : MyList<in T>,</div>
|
||||
</td>
|
||||
<td align="right">
|
||||
<div style="white-space:nowrap;font-weight:bold;">
|
||||
t : T</div>
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;font-weight:bold;">
|
||||
)</div>
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;font-weight:bold;">
|
||||
</div>
|
||||
<td style="white-space:nowrap;font-weight:bold;">
|
||||
(</td>
|
||||
<td align="right" style="white-space:nowrap;font-weight:bold;">
|
||||
l : MyList<in T>,</td>
|
||||
<td align="right" style="white-space:nowrap;font-weight:bold;">
|
||||
t : T</td>
|
||||
<td style="white-space:nowrap;font-weight:bold;">
|
||||
)</td>
|
||||
<td style="white-space:nowrap;font-weight:bold;">
|
||||
</td>
|
||||
</tr>
|
||||
<tr>
|
||||
<td colspan="8">
|
||||
<div style="white-space:nowrap;">
|
||||
None of the following substitutions</div>
|
||||
</td>
|
||||
<td colspan="8" style="white-space:nowrap;">
|
||||
None of the following substitutions</td>
|
||||
</tr>
|
||||
<tr>
|
||||
<td width="10%">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
</div>
|
||||
<td style="white-space:nowrap;">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
</div>
|
||||
<td style="white-space:nowrap;">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
<td style="white-space:nowrap;">
|
||||
<b>
|
||||
(</b>
|
||||
</div>
|
||||
</td>
|
||||
<td align="right">
|
||||
<div style="white-space:nowrap;">
|
||||
<td align="right" style="white-space:nowrap;">
|
||||
<font color=red>
|
||||
<b>
|
||||
MyList<in jet.Any></b>
|
||||
</font>
|
||||
<b>
|
||||
,</b>
|
||||
</div>
|
||||
</td>
|
||||
<td align="right">
|
||||
<div style="white-space:nowrap;">
|
||||
<td align="right" style="white-space:nowrap;">
|
||||
<b>
|
||||
jet.Any</b>
|
||||
</div>
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
<td style="white-space:nowrap;">
|
||||
<b>
|
||||
)</b>
|
||||
</div>
|
||||
</td>
|
||||
</tr>
|
||||
<tr>
|
||||
<td width="10%">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
</div>
|
||||
<td style="white-space:nowrap;">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
</div>
|
||||
<td style="white-space:nowrap;">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
<td style="white-space:nowrap;">
|
||||
<b>
|
||||
(</b>
|
||||
</div>
|
||||
</td>
|
||||
<td align="right">
|
||||
<div style="white-space:nowrap;">
|
||||
<td align="right" style="white-space:nowrap;">
|
||||
<b>
|
||||
MyList<in jet.Int></b>
|
||||
<b>
|
||||
,</b>
|
||||
</div>
|
||||
</td>
|
||||
<td align="right">
|
||||
<div style="white-space:nowrap;">
|
||||
<td align="right" style="white-space:nowrap;">
|
||||
<font color=red>
|
||||
<b>
|
||||
jet.Int</b>
|
||||
</font>
|
||||
</div>
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
<td style="white-space:nowrap;">
|
||||
<b>
|
||||
)</b>
|
||||
</div>
|
||||
</td>
|
||||
</tr>
|
||||
<tr>
|
||||
<td colspan="8">
|
||||
<div style="white-space:nowrap;">
|
||||
can be applied to</div>
|
||||
</td>
|
||||
<td colspan="8" style="white-space:nowrap;">
|
||||
can be applied to</td>
|
||||
</tr>
|
||||
<tr>
|
||||
<td width="10%">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
</div>
|
||||
<td style="white-space:nowrap;">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
</div>
|
||||
<td style="white-space:nowrap;">
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
<td style="white-space:nowrap;">
|
||||
<b>
|
||||
(</b>
|
||||
</div>
|
||||
</td>
|
||||
<td align="right">
|
||||
<div style="white-space:nowrap;">
|
||||
<td align="right" style="white-space:nowrap;">
|
||||
<b>
|
||||
MyList<jet.Int></b>
|
||||
<b>
|
||||
,</b>
|
||||
</div>
|
||||
</td>
|
||||
<td align="right">
|
||||
<div style="white-space:nowrap;">
|
||||
<td align="right" style="white-space:nowrap;">
|
||||
<b>
|
||||
jet.Any</b>
|
||||
</div>
|
||||
</td>
|
||||
<td>
|
||||
<div style="white-space:nowrap;">
|
||||
<td style="white-space:nowrap;">
|
||||
<b>
|
||||
)</b>
|
||||
</div>
|
||||
</td>
|
||||
</tr>
|
||||
</table>
|
||||
</html>
|
||||
</html>
|
||||
Reference in New Issue
Block a user