="id">width</span> <span class="id">length</span> <span class="pn">(</span><span class="k">fun</span> <span class="id">_</span> <span class="id">_</span> <span class="k">-&gt;</span> <span class="s">&quot;None&quot;</span><span class="pn">)</span>

<span class="k">let</span> <span onmouseout="hideTip(event, 'fs12', 18)" onmouseover="showTip(event, 'fs12', 18)" class="fn">placementFunction</span> <span class="o">=</span>

    <span class="k">fun</span> <span class="pn">(</span><span class="id">_</span><span 