chor"></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/index.html#type-file">Core.file</a></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-append"><a href="#type-append" 