tle="Expr">Expr</a> <a href="../base-4.11.1.0/Data-Word.html#t:Word" title="Data.Word">Word</a> -&gt; <a href="Expr.html#t:AnyExpr" title="Expr">AnyExpr</a></li><li class="src short"><a href="#v:assertBool">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 href=