s="def field"><a href="#type-t.maybe_uninit_vars" class="anchor"></a><code>maybe_uninit_vars : <a href="argument-1-Domain1/index.html#type-t">Domain1.t</a>;</code></td></tr><tr id="type-t.aliased_vars" class="anchored"><td class="def field"><a href="#type-t.aliased_vars" class="anchor"></a><code>aliased_vars : <a href="argument-2-Domain2/index.html#type-t">Domain2.t</a>;</code></td></tr><tr id="type-t.prepost" class="anchored"><td class="def field"><a href="#type-t.prepost" class="anchor"></a><code>prepost 