text: <!DOCTYPE html>
  <html lang="en">
  <head>
      <meta http-equiv="refresh" content="0;URL=../../../core/ops/trait.Index.html">
  </head>
  <body>
      <p>Redirecting to <a href="../../../core/ops/trait.Index.html">../../../core/ops/trait.Index.html</a>...</p>
      <script>location.replace("../../../core/ops/trait.Index.html" + location.search + location.hash);</script>
  </body>
  </html>