00130"></a><span class="lineno">  130</span>}</div>
</div>
<div class="line"><a id="l00131" name="l00131"></a><span class="lineno">  131</span> </div>
<div class="foldopen" id="foldopen00137" data-start="{" data-end="}">
<div class="line"><a id="l00137" name="l00137"></a><span class="lineno"><a class="line" href="position_8h.html#ac68d294d1a585c27c15fe37115d2c642">  137</a></span><span class="keyword">static</span> <span class="keyword">inline</span> <a class="code hl_enumeration" href="position_8h.html#a5e