d"><a href="#type-t.sorts" class="anchor"></a><code><span>sorts : <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.objs" class="anchored"><td class="def record field"><a href="#type-t.objs" class="anchor"></a><code><span>objs : <span><a href="../../../../syguslib-utils/Syguslib/Sygus/index.html#type-command">Syguslib.Sygus.command</a> <span class="xref-unre