ow">&#45;&gt;</span></span> <a href="../Tree/index.html#type-re">Tree.re</a></span></code></div><div class="spec-doc"><p><code>simplify r</code> attempts to simplify RE <code>r</code> by Kozen Axioms</p><ul class="at-tags"><li class="returns"><span class="at-tag">returns</span> <p>a simplfication of RE <code>r</code></p></li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print"><a href="#val-print" class="anchor"></a><code><span><span class="keyword">val</span> print : <spa