hub-blue.png" class="hover" />
            </a>
          <p>Sets the severity of this vulnerability.</p>


        </td>
      </tr>
      <tr>
        <td class="member-name">
          <code onmouseout="hideTip(event, '168', 168)" onmouseover="showTip(event, '168', 168)">
            VulnerabilityExtensions.WithSummary(...)
          </code>
          <div class="tip" id="168">
            <strong>Signature:</strong> (vuln:Vulnerability * txt:string) -&gt; Vulnerability<br />
                            