e-channel">Core.channel</a></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-devnull"><a href="#type-devnull" class="anchor"></a><code><span><span class="keyword">type</span> devnull</span><span> = <a href="Core/index.html#type-devnull">Core.devnull</a></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-file"><a href="#type-file" class="anchor"></a><code><span><span class="keyword">type</span> file</span><span> = <a href="Core/ind