(<a href="Product/argument-2-S2/index.html">S2</a> : <a href="module-type-T/index.html">T</a> <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="module-type-T/index.html#type-symbol">symbol</a> = <a href="Product/argument-1-S1/index.html#type-symbol">S1.symbol</a></span> <span class="keyword">and</span> <span><span class="keyword">type</span> <span class="xref-unresolved">Symbols.t</span> = <span class="xref-unresolved">S1</span>.Symbols.t</span>) : 
  <span class="keyword">s