-summary.never_returns" class="anchored"><td class="def record field"><a href="#type-summary.never_returns" class="anchor"></a><code><span>never_returns : <a href="NeverReturns/index.html#type-t">NeverReturns.t</a>;</span></code></td></tr><tr id="type-summary.accesses" class="anchored"><td class="def record field"><a href="#type-summary.accesses" class="anchor"></a><code><span>accesses : <a href="AccessDomain/index.html#type-t">AccessDomain.t</a>;</span></code></td></tr><tr id="type-summary.return_ownership