>*)</span></div></li><li id="type-t.col" class="def record field anchored"><a href="#type-t.col" class="anchor"></a><code><span>col : int;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>The column number. -1 means &quot;do not know&quot;</p><span class="comment-delim">*)</span></div></li><li id="type-t.macro_file_opt" class="def record field anchored"><a href="#type-t.macro_file_opt" class="anchor"></a><code><span>macro_file_opt : <span><a href="../SourceFile/index.html#type-t">So