href="/Users/audreyt/Library/Haskell/ghc-7.4.1/lib/sbv-2.3/doc/html/Data-SBV.html#t:SBool">SBool</a></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span>  <a name="t:Model" class="def">Model</a>  </p><div class="doc"><p>A match consists of a string (list of codepoints), and a rank representing alternation order.
</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Model" class="