tcher</a></span></code></dt><dd><p>Separates names that satisfies the given function (accepts ALL template arguments on the left one)</p></dd></dl><dl><dt class="spec value" id="val-(&lt;&gt;::)"><a href="#val-(&lt;&gt;::)" class="anchor"></a><code><span class="keyword">val</span> (&lt;&gt;::) : <span><span>(<span class="type-var">'context</span>, <span class="type-var">'f_in</span>, <span class="type-var">'f_out</span>, <span class="type-var">'arg_payload</span>)</span> <a href="../index.html#type-name_