s name depth s</code> writes a .dot representation, with name <code>name</code> of the execution trees obtained by calling <code>unwind depth s</code>. The name of the file is <code>name.dot</code> or specified with the <code>fname</code> optional argument. 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-tex_output"><a href="#val-tex_output" class="anchor"></a><code><span><span class="keyword">va