 href="a00213.html#ga59bfa589419b5265d01314fcecd33435">   54</a></span>&#160;        <span class="keyword">typedef</span> <a class="code" href="a00171.html#ga1d794d240091678f602e8de225b8d8c9">f64</a>                     <a class="code" href="a00213.html#ga59bfa589419b5265d01314fcecd33435">f64mat1</a>;        </div>
<div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="a00213.html#ga448eeb08d0b7d8c43a8b292c981955fd">   55</a></span>&#160;        <span class="keyword">typedef</span