ct</span><span class="Other">,</span> <span class="Identifier">WriteIOEffect</span><span class="Other">]</span></span>.}</pre></dt>
<dd>



</dd>
</div>
<div id="notAllowedOption,string,string,string">
<dt><pre><span class="Keyword">proc</span> <a href="#notAllowedOption%2Cstring%2Cstring%2Cstring"><span class="Identifier">notAllowedOption</span></a><span class="Other">(</span><span class="Identifier">option</span><span class="Other">,</span> <span class="Identifier">typ</span><span class="Other">,</span> <