eturn"><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 class="type-var">'a</span> <a href="index.html#type-t">t</a></span></code></dt><dd><p><code>return x</code> injects a value <code>x</code> into a monadic value.</p></dd></dl><dl><dt class="spec value" id="val-bind"><a href="#val-bind" class="anchor"></a><code><span class="keyword">val</span> bind : <span class="arg"><span