369"></a><span class="lineno"><a class="line" href="a00158.html#ga5d454f34d819d90b9bbb30dcb9ed7b39">  369</a></span>&#160;        <span class="keyword">typedef</span> tvec4&lt;double, highp&gt;    <a class="code" href="a00158.html#ga5d454f34d819d90b9bbb30dcb9ed7b39">highp_dvec4</a>;</div>
<div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;</div>
<div class="line"><a name="l00375"></a><span class="lineno"><a class="line" href="a00158.html#ga3e804226444dfe246133fc6ec4a3912f">  375</