X</a>)
  (<a href="Make/argument-2-GV/index.html">GV</a> : <a href="../Guest/module-type-VALUE/index.html">Guest.VALUE</a>) : 
  <a href="module-type-T/index.html">T</a> <span class="keyword">with</span> <span><span class="keyword">module</span> <a href="module-type-T/Syntax/index.html">Syntax</a> = <a href="Make/argument-1-GS/index.html">GS</a></span> <span class="keyword">and</span> <span><span class="keyword">module</span> <a href="module-type-T/Value/index.html">Value</a> = <a href="Make/argument-2-GV/i