<span class="comment-delim">*)</span></div></li><li id="type-t.need_dynamic_type_specialization" class="def record field anchored"><a href="#type-t.need_dynamic_type_specialization" class="anchor"></a><code><span>need_dynamic_type_specialization : <a href="../PulseAbstractValue/Set/index.html#type-t">Pulselib.PulseBasicInterface.AbstractValue.Set.t</a>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>a set of abstract values that are used as receiver of method calls in the instruct