mmary.attributes" class="anchored"><td class="def record field"><a href="#type-summary.attributes" class="anchor"></a><code><span>attributes : <a href="AttributeMapDomain/index.html#type-t">AttributeMapDomain.t</a>;</span></code></td></tr></table><code><span>}</span></code></div><div class="spec-doc"><p>same as astate, but without <code>attribute_map</code> (since these involve locals) and with the addition of the ownership/attributes associated with the return value as well as the set of formals which may 