clared" class="anchored"><td class="def record field"><a href="#type-t.declared" class="anchor"></a><code><span>declared : <span><span class="xref-unresolved">Base</span>.string <span class="xref-unresolved">Base</span>.Hash_set.t</span>;</span></code></td></tr><tr id="type-t.logic" class="anchored"><td class="def record field"><a href="#type-t.logic" class="anchor"></a><code><span>logic : <span class="xref-unresolved">Base</span>.string;</span></code></td></tr><tr id="type-t.constraints" class="anchored"><