pr.html#t:Expr" title="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> <a href="src/Expr.html#mkUintsExpr" class="link">Source</a> <a href="#v:mkUintsExpr" class="selflink">#</a></p><div class="doc"><p>mkUintsExpr generalises a list of uints expression to any expression.</p></div></div><div class="top"><p class="src"><a id="v:assertBools" class="def">assertBools</a> :: <a href="Expr.html#t:AnyExpr" titl