hor"></a><code><span><span class="keyword">val</span> mk_assert_fail : <span>unit <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Bap</span>.Std.sub <span class="xref-unresolved">Bap</span>.Std.term</span> * <span class="xref-unresolved">Bap</span>.Std.exp</span></code></div><div class="spec-doc"><p>Create a pair of a subroutine with name <code>__assert_fail</code> and an expression which represents an invocation of that subroutine.</p><p>A subsequent call to <a href="#val-bi