    <a class="code" href="a00187.html#gaa16a13c6f2768e83ca133430e82ab89e">double2</a>;                </div>
<div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="a00187.html#gaed4bc64196bd25d46f6a1f417320a391">  116</a></span>&#160;        <span class="keyword">typedef</span> tvec3&lt;double, highp&gt;            <a class="code" href="a00187.html#gaed4bc64196bd25d46f6a1f417320a391">double3</a>;                </div>
<div class="line"><a name="l00117"></a><span class="lineno"><a 