ec value" id="val-abduce_and_add" class="anchored"><a href="#val-abduce_and_add" class="anchor"></a><code><span><span class="keyword">val</span> abduce_and_add : 
  <span><a href="../../PulseAbstractValue/index.html#type-t">PulseBasicInterface.AbstractValue.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../PulseAttribute/Attributes/index.html#type-t">PulseBasicInterface.Attributes.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../index.html#type-t">t</a> <span clas