
          </h1>
  <div class="summary-functions summary">
    <h2>
      <a href="#functions">Functions</a>
    </h2>
<div class="summary-row">
  <div class="summary-signature">
    <a href="#h/1">h/1</a>
  </div>
</div>
<div class="summary-row">
  <div class="summary-signature">
    <a href="#h/2">h/2</a>
  </div>
</div>
<div class="summary-row">
  <div class="summary-signature">
    <a href="#h/3">h/3</a>
  </div>
</div>
<div class="summary-row">
  <div class="summary-signature">
    <a href="#s/1">s/1</