 class="arrow">&#45;&gt;</span></span>
  int</span></code></div><div class="spec-doc"><p><code>dot_view name t</code> writes a .dot representation of <code>t</code> in file <code>dir/name.dot</code> and opens it with Graphviz. The output directory <code>dir</code> is specified with the <code>dir</code> optional argument (default: &quot;/tmp&quot;). The command for launching Graphviz is specified with the <code>cmd</code> optional argument (default: &quot;open -a Graphviz&quot;). The <code>options</code> opt