l#mkBytesExpr" class="link">Source</a> <a href="#v:mkBytesExpr" class="selflink">#</a></p><div class="doc"><p>mkBytesExpr generalises a bytes expression to any expression.</p></div></div><div class="top"><p class="src"><a id="v:mkUintExpr" class="def">mkUintExpr</a> :: <a href="Expr.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#mkUintExpr" class="link">Source</