" class="anchored"><td class="def record field"><a href="#type-summary.return_ownership" class="anchor"></a><code><span>return_ownership : <a href="OwnershipAbstractValue/index.html#type-t">OwnershipAbstractValue.t</a>;</span></code></td></tr><tr id="type-summary.return_attribute" class="anchored"><td class="def record field"><a href="#type-summary.return_attribute" class="anchor"></a><code><span>return_attribute : <a href="Attribute/index.html#type-t">Attribute.t</a>;</span></code></td></tr><tr id="type-su