><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> <span>('a, 'x) t</span></code></dt><dd><p>The type of the monadic values.</p></dd></dl><dl><dt class="spec value" id="val-return"><a href="#val-return" class="anchor"></a><code><span class="keyword">val</span> return : <span class="arg"><span class="type-var">'a</span> <span>&#45;&gt;</span> </span><span><span>(<span class="type-var">'a</span>, <span class="type-var">'x</span>)</span> <a href