 <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="Tree/index.html#type-t">Tree.t</a> list</span></span></code></div><div class="spec-doc"><p><code>unwind depth s</code> unwinds LTSA system <code>s</code> to produce a list of execution trees (rooted at initial states) up to the specified depth</p></div></div><h2 id="output-functions"><a href="#output-functions" class="anchor"></a>Output functions</h2><div class="odoc-spec"><d