e</span> <a href="../../IStdlib/PrettyPrintable/index.html#module-type-PPSet">PPSet</a>.elt = <a href="index.html#type-t">t</a></code></div></details></div></div></div><dl><dt class="spec type" id="type-spec"><a href="#type-spec" class="anchor"></a><code><span class="keyword">type</span> spec</code><code> = </code><code>{</code><table class="record"><tr id="type-spec.source" class="anchored"><td class="def field"><a href="#type-spec.source" class="anchor"></a><code>source : <a href="index.html#type-t">t</a>