td class="def record field"><a href="#type-t.constraints" class="anchor"></a><code><span>constraints : <span><a href="../../../../syguslib-utils/Syguslib/Sygus/index.html#type-command">Syguslib.Sygus.command</a> <span class="xref-unresolved">Base</span>.list</span>;</span></code></td></tr><tr id="type-t.extra_defs" class="anchored"><td class="def record field"><a href="#type-t.extra_defs" class="anchor"></a><code><span>extra_defs : <span><a href="../../../../syguslib-utils/Syguslib/Sygus/index.html#type-com