>;</div>
<div class="line"><a name="l00461"></a><span class="lineno">  461</span>&#160;        <span class="keyword">typedef</span> mediump_dvec3           <a class="code" href="a00149.html#gabebd0c7e3c5cd337d95c313c5e8b8db4">dvec3</a>;</div>
<div class="line"><a name="l00462"></a><span class="lineno">  462</span>&#160;        <span class="keyword">typedef</span> mediump_dvec4           <a class="code" href="a00149.html#ga9503f809789bda7e8852a6abde3ae5c1">dvec4</a>;</div>
<div class="line"><a name="l00463">