e><tr id="type-t.pre" class="anchored"><td class="def record field"><a href="#type-t.pre" class="anchor"></a><code><span>pre : <span class="type-var">'a</span>;</span></code></td></tr><tr id="type-t.post" class="anchored"><td class="def record field"><a href="#type-t.post" class="anchor"></a><code><span>post : <span class="type-var">'a</span>;</span></code></td></tr><tr id="type-t.visit_count" class="anchored"><td class="def record field"><a href="#type-t.visit_count" class="anchor"></a><code><span>visit_co