de>options</code> optional argument.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-tex_output"><a href="#val-tex_output" class="anchor"></a><code><span><span class="keyword">val</span> tex_output : 
  <span>string <span class="arrow">&#45;&gt;</span></span>
  <span>?fname:string <span class="arrow">&#45;&gt;</span></span>
  <span>?listed_transitions:<span><span><a href="#type-label">label</a> list</span> option</span> <span class="arrow">&#45;&gt;</span></span>
  <span><a hr