pan> <span><span class="keyword">type</span> <a href="module-type-T/index.html#type-state">state</a> = <a href="Make/argument-1-S/index.html#type-t">S.t</a></span> <span class="keyword">and</span> <span><span class="keyword">type</span> <a href="module-type-T/index.html#type-symbol">symbol</a> = <a href="Make/argument-2-L/index.html#type-t">L.t</a></span></span></code></div><div class="spec-doc"><p>Functor building an implementation of the NFA structure given an implementation of state identifiers and symbo