iabductionSummary/index.html#type-spec">BiabductionSummary.spec</a></span> list</span> <span>&#45;&gt;</span> unit</code></dt><dd><p>emit specs in the &quot;dot&quot; format to the specified file</p></dd></dl></div></body></html>