urceFile.t</a> option</span>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>If the location is coming from macro expansion, the name of the file macro is defined in</p><span class="comment-delim">*)</span></div></li><li id="type-t.macro_line" class="def record field anchored"><a href="#type-t.macro_line" class="anchor"></a><code><span>macro_line : int;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>If the location is coming from macro expansion, the lin