 class="arrow">&#45;&gt;</span></span>
  <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span>
  unit</span></code></div><div class="spec-doc"><p><code>dot_output name fname s</code> writes a .dot representation of <code>s</code> with name <code>name</code> in file <code>fname</code>. Global graph drawing options can be specified with the <code>options</code> optional argument.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dot_output_oc"><a href="#val-dot