a> <a href="#v:mkUintExpr" class="selflink">#</a></p><div class="doc"><p>mkUintExpr generalises a uint expression to any expression.</p></div></div><div class="top"><p class="src"><a id="v:assertBool" class="def">assertBool</a> :: <a href="Expr.html#t:AnyExpr" title="Expr">AnyExpr</a> -&gt; <a href="../base-4.11.1.0/Data-Either.html#t:Either" title="Data.Either">Either</a> <a href="../base-4.11.1.0/Data-String.html#t:String" title="Data.String">String</a> (<a href="Expr.html#t:Expr" title="Expr">Expr</a> <a