</a></span></code></dt><dd><p><code>both (F a) (F b)</code> is <code>F (a, b)</code>, i.e., it is the product of <code>a</code> and <code>b</code> in <code>F</code></p></dd></dl><dl><dt class="spec module" id="module-Let_bind"><a href="#module-Let_bind" class="anchor"></a><code><span class="keyword">module</span> <a href="Let_bind/index.html">Let_bind</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd><p>Binding operators for use with the OCaml 4.08 extension. See the