word">val</span> apply_unknown_effect : 
  <span><span class="optlabel">?havoc_filter</span>:
    <span>(<span><a href="../PulseAbstractValue/index.html#type-t">Pulselib.PulseBasicInterface.AbstractValue.t</a> <span class="arrow">&#45;&gt;</span></span>
      <span><a href="../PulseAccess/index.html#type-t">PulseAccess.t</a> <span class="arrow">&#45;&gt;</span></span>
      <span><span>(<a href="../PulseAbstractValue/index.html#type-t">Pulselib.PulseBasicInterface.AbstractValue.t</a>
       * <a href="../Pu