class="line" href="a00187.html#gab8bbb086c9a6c2deffbe0e80afd6be56">  117</a></span>&#160;        <span class="keyword">typedef</span> tvec4&lt;double, highp&gt;            <a class="code" href="a00187.html#gab8bbb086c9a6c2deffbe0e80afd6be56">double4</a>;                </div>
<div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;</div>
<div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="a00187.html#ga45f16a4dd0db1f199afaed9fd12fe9a8">  119</a></span>&#16