pan class="token punctuation">, </span></span><span class="parameter ">value<span class="token operator">: </span><a href="index.html#-375140728%2FFunctions%2F185616915">Wrapped</a></span></span><span class="token punctuation">)</span></div><div class="symbol monospace"><span class="token keyword">operator </span><span class="token keyword">fun </span><span class="token operator">&lt;</span><a href="index.html#-1744472243%2FFunctions%2F185616915">REF</a><span class="token operator"> : </span><a href="https: