1<HTML>
2<HEAD>
3<meta charset="UTF-8">
4<title>foo - test</title>
5</HEAD>
6<BODY>
7<a href="index.html">test</a>&nbsp;/&nbsp;<a href="./foo.html">foo</a><br/>
8<br/>
9<h1>foo</h1>
10<a name="$foo()"></a>
11<code><span class="keyword">fun </span><span class="identifier">foo</span><span class="symbol">(</span><span class="symbol">)</span><span class="symbol">: </span><span class="identifier">Unit</span></code>
12<p>This is a <code>code span</code>.</p>
13</BODY>
14</HTML>
15