 execution tree (rooted at initial state) up to the specified depth.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dot_output"><a href="#val-dot_output" class="anchor"></a><code><span><span class="keyword">val</span> dot_output : 
  <span>string <span class="arrow">&#45;&gt;</span></span>
  <span>?fname:string <span class="arrow">&#45;&gt;</span></span>
  <span>?options:<span><a href="../../../Utils/Dot/index.html#type-graph_style">Utils.Dot.graph_style</a> list</span> <span