 <code>name</code>. The name of the output file is <code>name.dot</code> or specified with the <code>fname</code> optional argument. When the optional argument <code>listed_transitions</code> is <code>Some l</code>, only transitions listed in <code>l</code> are written, otherwise all transitions of <code>s</code> are written.</p></div></div></details></div><div class="odoc-spec"><div class="spec module anchored" id="module-LTSA"><a href="#module-LTSA" class="anchor"></a><code><span><span class="keyword">mod