k</span>

<span class="k">module</span> <span class="m">ButtonPusher</span> <span class="o">=</span>
    <span class="k">let</span> <span onmouseout="hideTip(event, 'fs13', 18)" onmouseover="showTip(event, 'fs13', 18)" class="fn">pushButton</span> <span class="pn">(</span><span class="pn">)</span> <span class="o">=</span>
        <span onmouseout="hideTip(event, 'fs14', 19)" onmouseover="showTip(event, 'fs14', 19)" class="m">Effect</span><span class="pn">.</span><span onmouseout="hideTip(event, 'fs15', 20)"