def record field anchored"><a href="#type-t.history" class="anchor"></a><code><span>history : <a href="../PulseValueHistory/index.html#type-t">ValueHistory.t</a>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>the call involves a value with this prior history</p><span class="comment-delim">*)</span></div></li><li id="type-t.in_call" class="def record field anchored"><a href="#type-t.in_call" class="anchor"></a><code><span>in_call : <a href="#type-t">t</a>;</span></code><div class=