>type</span> t</span><span> = </span><span>{</span></code><ol><li id="type-t.procedures" class="def record field anchored"><a href="#type-t.procedures" class="anchor"></a><code><span>procedures : <a href="ProcUidSet/index.html#type-t">ProcUidSet.t</a>;</span></code></li><li id="type-t.sources" class="def record field anchored"><a href="#type-t.sources" class="anchor"></a><code><span>sources : <a href="../../IBase/SourceFile/HashSet/index.html#type-t">IBase.SourceFile.HashSet.t</a>;</span></code></li></ol><c