def record field anchored"><a href="#type-spec_disjunct.arguments" class="anchor"></a><code><span>arguments : <span><a href="#type-type_">type_</a> list</span>;</span></code></li><li id="type-spec_disjunct.return" class="def record field anchored"><a href="#type-spec_disjunct.return" class="anchor"></a><code><span>return : <a href="#type-type_">type_</a>;</span></code></li><li id="type-spec_disjunct.constraints" class="def record field anchored"><a href="#type-spec_disjunct.constraints" class="anchor"></a><