de></li><li id="type-t.stdin" class="def record field anchored"><a href="#type-t.stdin" class="anchor"></a><code><span>stdin : <span><span class="type-var">'stdin</span> <a href="../Core/In/index.html#type-t">In.t</a></span>;</span></code></li><li id="type-t.stdout" class="def record field anchored"><a href="#type-t.stdout" class="anchor"></a><code><span>stdout : <span><span class="type-var">'stdout</span> <a href="../Core/Out/index.html#type-t">Out.t</a></span>;</span></code></li><li id="type-t.stderr" cla