div class="spec-doc"><p>Functor for converting a NFA, with a given implementation of state identifiers and symbols into another one with different respective implementations</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Product"><a href="#module-Product" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Product/index.html">Product</a></span><span>
  (<a href="Product/argument-1-S1/index.html">S1</a> : <a href="module-type-T/index.html">T</a>)
  