ries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>] =&gt; [[<a href="/Library/Frameworks/GHC.framework/Versions/7.4.1-i386/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Char.html#t:Char">Char</a>]] -&gt; Str -&gt; <a href="/Users/audreyt/Library/Haskell/ghc-7.4.1/lib/sbv-2.3/doc/html/Data-SBV.html#t:Symbolic">Symbolic</a> <a href="/Users/audreyt/Library/Haskell/ghc-7.4.1/lib/sbv-2.3/doc/html/Data-SBV.html#t:SBool">SBool</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.or