"index.html">Index</a> &#x00BB; 
   <a href="Recent_impl.html">Recent_impl</a> &#x00BB; 
   <a href="Recent_impl-module-type-S.html">S</a> &#x00BB; F
  </nav>
  <header class="odoc-preamble"><h1>Module <code><span>S.F</span></code></h1>
  </header>
  <div class="odoc-tocs">
   <nav class="odoc-toc odoc-local-toc">
    <ul><li><a href="#parameters">Parameters</a></li>
     <li><a href="#signature">Signature</a></li>
    </ul>
   </nav>
  </div>
  <div class="odoc-content">
   <h2 id="parameters"><a href="#pa