   * <span><a href="../../../PulseInvalidation/index.html#type-must_be_valid_reason">Pulselib.PulseBasicInterface.Invalidation.must_be_valid_reason</a> option</span>)</span>
    option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_must_not_be_tainted"><a href="#val-get_must_not_be_tainted" class="anchor"></a><code><span><span class="keyword">val</span> get_must_not_be_tainted : 
  <span><a href="../index.html#type-t">t</a> <span class="arrow">&#45;&gt;</