strexp : <span>?inst:bool <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-strexp">strexp</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-strexp">strexp</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div><div class="spec-doc"><p>Equality function for strexp. The inst:: parameter specifies whether instumentations should also be considered (false by default).</p></div></div><div class="odoc-spec"><div class="spec type" id="type-hpred0" class="anchored"